Trace number 2685154

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.08 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_8-sat.opb
MD5SUM74e9d107dc7010fbcbd693cbc0a5fa15
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.300953
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14924
Total number of constraints46875
Number of constraints which are clauses46551
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints324
Minimum length of a constraint1
Maximum length of a constraint75
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 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 435
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.13	c PB-wave - v2
0.00/0.13	c command line = ./PB-wave
0.00/0.13	c seed = 65965141
0.00/0.13	c cutoff = 1000000
0.00/0.13	c tries = 1000000
0.00/0.13	c heuristic = c best, noise 50 / 100
0.00/0.13	#var 14924 #con 46875
0.00/0.13	mode is SAT
0.00/0.13	c tail starts after flip = 44772
0.00/0.13	c numatom = 14924, numclause = 46875, numliterals = 121490
0.00/0.13	c wff read in
0.00/0.13	c 
0.00/0.13	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.13	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.13	c       this      this      this      this      this      this   success   success       until         std
0.00/0.13	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.13	c
1.69/1.71	c       479       699    723.41    106.35      6.80   1000000         0
3.20/3.28	c       490       841    703.59    100.19      7.02   1000000         0
4.79/4.85	c       470       690    701.18    106.71      6.57   1000000         0
6.39/6.42	c       473       657    683.12    103.90      6.57   1000000         0
7.89/7.99	c       486       750    702.07     99.82      7.03   1000000         0
9.49/9.57	c       471       783    701.99     98.26      7.14   1000000         0
11.09/11.15	c       489       775    722.14    107.52      6.72   1000000         0
12.69/12.73	c       439       745    721.53    101.53      7.11   1000000         0
14.19/14.30	c       399       636    687.05    126.95      5.41   1000000         0
15.78/15.87	c       488       753    718.21     97.44      7.37   1000000         0
17.38/17.45	c       484       598    715.67    124.35      5.76   1000000         0
18.98/19.02	c       491       647    695.13    105.98      6.56   1000000         0
20.58/20.60	c       477       632    703.27    130.96      5.37   1000000         0
22.08/22.18	c       469       725    711.48    120.75      5.89   1000000         0
23.68/23.75	c       453       790    719.34    110.38      6.52   1000000         0
25.29/25.32	c       516       601    719.69    108.30      6.65   1000000         0
26.78/26.89	c       450       598    704.24    106.90      6.59   1000000         0
28.38/28.47	c       469       740    696.05    103.22      6.74   1000000         0
29.98/30.03	c       460       596    687.37    113.65      6.05   1000000         0
31.58/31.60	c       496       725    691.16     98.63      7.01   1000000         0
33.08/33.17	c       386       614    690.86    108.40      6.37   1000000         0
34.68/34.74	c       485       715    692.82     98.75      7.02   1000000         0
36.29/36.31	c       507       671    706.85    102.88      6.87   1000000         0
37.78/37.89	c       464       635    702.41    104.52      6.72   1000000         0
39.38/39.46	c       474       650    698.83    100.63      6.94   1000000         0
40.98/41.03	c       475       673    699.25     99.11      7.06   1000000         0
42.58/42.60	c       501       553    711.80    111.91      6.36   1000000         0
44.08/44.18	c       485       720    702.30    114.88      6.11   1000000         0
45.68/45.76	c       467       676    703.04    115.18      6.10   1000000         0
47.28/47.32	c       486       726    699.25    113.45      6.16   1000000         0
48.87/48.90	c       506       706    705.52    115.11      6.13   1000000         0
50.37/50.47	c       510       684    698.13    101.49      6.88   1000000         0
51.97/52.04	c       474       792    686.67    111.79      6.14   1000000         0
53.57/53.61	c       489       648    692.38     95.80      7.23   1000000         0
55.07/55.19	c       456       742    712.45    105.74      6.74   1000000         0
56.67/56.74	c       456       636    681.77    109.32      6.24   1000000         0
58.17/58.30	c       522       849    711.63     88.79      8.02   1000000         0
59.76/59.87	c       473       622    699.13     96.21      7.27   1000000         0
61.36/61.45	c       507       743    732.89    118.41      6.19   1000000         0
62.96/63.02	c       466       607    685.73    109.54      6.26   1000000         0
64.46/64.60	c       476       570    698.18    110.50      6.32   1000000         0
66.06/66.17	c       477       652    712.59    104.66      6.81   1000000         0
67.66/67.74	c       495       690    697.16    103.07      6.76   1000000         0
69.27/69.31	c       458       717    689.64    102.23      6.75   1000000         0
70.76/70.88	c       494       806    691.96    105.06      6.59   1000000         0
72.36/72.46	c       497       680    708.43     94.10      7.53   1000000         0
73.96/74.03	c       472       687    701.69     87.58      8.01   1000000         0
75.56/75.60	c       392       630    687.56    109.16      6.30   1000000         0
77.06/77.17	c       437       744    699.18     94.35      7.41   1000000         0
78.66/78.74	c       470       729    698.71    105.60      6.62   1000000         0
80.27/80.31	c       505       588    698.13    113.34      6.16   1000000         0
81.76/81.89	c       482       615    713.36    129.78      5.50   1000000         0
83.36/83.47	c       477       828    715.45    112.92      6.34   1000000         0
84.96/85.04	c       492       797    695.75    105.88      6.57   1000000         0
86.56/86.62	c       432       889    693.89    104.38      6.65   1000000         0
88.06/88.19	c       486       616    713.33    130.48      5.47   1000000         0
89.66/89.77	c       485       735    701.79    111.89      6.27   1000000         0
91.26/91.34	c       480       700    685.92    106.97      6.41   1000000         0
92.86/92.91	c       489       707    701.80    108.24      6.48   1000000         0
94.36/94.49	c       479       764    701.71    118.88      5.90   1000000         0
95.96/96.06	c       475       639    712.40    102.64      6.94   1000000         0
97.56/97.64	c       478       723    687.60    102.66      6.70   1000000         0
99.15/99.21	c       454       691    709.42    111.31      6.37   1000000         0
100.65/100.79	c       488       737    704.45    104.96      6.71   1000000         0
102.26/102.36	c       484       781    705.37    102.42      6.89   1000000         0
103.85/103.94	c       508       647    725.65    114.93      6.31   1000000         0
105.46/105.51	c       462       646    704.22    113.96      6.18   1000000         0
106.95/107.09	c       472       663    698.09    100.27      6.96   1000000         0
108.55/108.66	c       495       644    699.55     99.96      7.00   1000000         0
110.15/110.23	c       485       660    705.70     94.22      7.49   1000000         0
111.75/111.81	c       461       678    689.49     88.72      7.77   1000000         0
113.26/113.38	c       460       589    706.05    114.62      6.16   1000000         0
114.85/114.96	c       504       648    708.18     94.64      7.48   1000000         0
116.46/116.53	c       475       679    706.72    100.04      7.06   1000000         0
118.05/118.10	c       433       686    706.75    105.14      6.72   1000000         0
119.55/119.67	c       444       597    697.23    104.87      6.65   1000000         0
121.15/121.25	c       478       625    709.45     84.54      8.39   1000000         0
122.75/122.82	c       491       675    697.35    114.66      6.08   1000000         0
124.26/124.39	c       439       664    692.46    117.38      5.90   1000000         0
125.85/125.96	c       490       714    701.66    108.09      6.49   1000000         0
127.45/127.54	c       488       666    700.22     99.14      7.06   1000000         0
129.05/129.11	c       507       619    707.61     95.97      7.37   1000000         0
130.55/130.68	c       487       735    694.59    100.66      6.90   1000000         0
132.14/132.26	c       480       638    699.85    124.54      5.62   1000000         0
133.74/133.82	c       436       728    682.85     99.43      6.87   1000000         0
135.25/135.39	c       449       663    717.27    113.63      6.31   1000000         0
136.84/136.97	c       450       575    699.09    124.01      5.64   1000000         0
138.45/138.54	c       455       542    719.65    124.85      5.76   1000000         0
140.04/140.12	c       394       656    700.53    103.68      6.76   1000000         0
141.54/141.69	c       448       656    693.51    104.57      6.63   1000000         0
143.14/143.26	c       453       616    698.65    102.59      6.81   1000000         0
144.74/144.84	c       495       774    723.56    114.92      6.30   1000000         0
146.34/146.41	c       474       746    693.32     95.54      7.26   1000000         0
147.84/147.98	c       470       633    686.03    101.56      6.75   1000000         0
149.45/149.55	c       497       799    703.77     96.79      7.27   1000000         0
151.04/151.13	c       408       720    704.68    101.96      6.91   1000000         0
152.54/152.69	c       486       799    694.23     96.41      7.20   1000000         0
154.14/154.27	c       486       669    715.40    124.82      5.73   1000000         0
155.74/155.84	c       477       694    696.94    104.65      6.66   1000000         0
157.34/157.41	c       490       659    716.09    120.64      5.94   1000000         0
158.84/159.00	c       516       681    717.68    103.16      6.96   1000000         0
160.44/160.56	c       464       735    688.81    118.69      5.80   1000000         0
162.04/162.14	c       508       637    707.16     93.75      7.54   1000000         0
163.64/163.71	c       499       622    697.82     87.08      8.01   1000000         0
165.13/165.28	c       490       666    702.68    106.87      6.58   1000000         0
166.73/166.85	c       485       698    705.06    121.47      5.80   1000000         0
168.33/168.43	c       499       648    698.99     80.67      8.67   1000000         0
169.93/170.00	c       474       663    691.82     91.76      7.54   1000000         0
171.44/171.57	c       447       776    698.42     99.58      7.01   1000000         0
173.03/173.14	c       479       751    693.11     97.10      7.14   1000000         0
174.63/174.71	c       489       773    702.74     92.71      7.58   1000000         0
176.13/176.29	c       489       615    698.64    110.17      6.34   1000000         0
177.73/177.86	c       515       581    701.65     93.15      7.53   1000000         0
179.33/179.44	c       446       706    704.47     98.05      7.18   1000000         0
180.93/181.01	c       463       604    697.77    110.26      6.33   1000000         0
182.44/182.59	c       484       663    711.90     96.58      7.37   1000000         0
184.03/184.16	c       496       684    705.79     81.89      8.62   1000000         0
185.63/185.74	c       435       714    703.75    115.86      6.07   1000000         0
187.23/187.32	c       515       600    717.33     95.34      7.52   1000000         0
188.73/188.90	c       488       782    712.88    102.62      6.95   1000000         0
190.33/190.47	c       460       745    707.91    108.66      6.52   1000000         0
191.93/192.04	c       478       695    688.05    100.36      6.86   1000000         0
193.53/193.62	c       437       603    706.21    122.47      5.77   1000000         0
195.03/195.19	c       503       710    702.07     88.23      7.96   1000000         0
196.63/196.77	c       446       516    705.05    110.73      6.37   1000000         0
198.23/198.34	c       496       701    699.95    110.99      6.31   1000000         0
199.83/199.91	c       465       662    690.10    110.04      6.27   1000000         0
201.32/201.49	c       430       709    714.72    118.58      6.03   1000000         0
202.92/203.06	c       463       709    686.73    106.69      6.44   1000000         0
204.53/204.63	c       481       619    710.38    110.39      6.44   1000000         0
206.12/206.21	c       526       798    721.40    110.05      6.56   1000000         0
207.62/207.78	c       470       604    693.70    115.60      6.00   1000000         0
209.22/209.35	c       448       649    707.41    118.49      5.97   1000000         0
210.82/210.92	c       474       738    700.09    114.58      6.11   1000000         0
212.42/212.50	c       463       693    702.27    100.05      7.02   1000000         0
213.92/214.07	c       498       726    707.25    104.93      6.74   1000000         0
215.53/215.65	c       458       630    718.50    109.55      6.56   1000000         0
217.12/217.23	c       476       594    701.75    112.58      6.23   1000000         0
218.72/218.80	c       494       730    703.46     91.86      7.66   1000000         0
220.22/220.38	c       474       623    688.87    123.01      5.60   1000000         0
221.82/221.95	c       480       626    699.08    111.56      6.27   1000000         0
223.42/223.51	c       493       677    700.16    111.17      6.30   1000000         0
224.92/225.09	c       502       655    705.23    123.12      5.73   1000000         0
226.52/226.67	c       489       835    724.09    101.04      7.17   1000000         0
228.12/228.25	c       498       753    726.12     98.41      7.38   1000000         0
229.72/229.82	c       469       707    694.12     96.87      7.17   1000000         0
231.21/231.39	c       453       678    686.79    108.63      6.32   1000000         0
232.81/232.97	c       492       719    695.42    112.78      6.17   1000000         0
234.41/234.55	c       520       723    721.79    106.67      6.77   1000000         0
236.01/236.13	c       489       635    723.55    117.68      6.15   1000000         0
237.61/237.70	c       496       720    701.24     96.27      7.28   1000000         0
239.11/239.27	c       485       659    706.81    119.72      5.90   1000000         0
240.72/240.84	c       476       624    700.00     92.76      7.55   1000000         0
242.31/242.41	c       494       621    696.54    116.55      5.98   1000000         0
243.81/243.99	c       480       632    700.46    103.77      6.75   1000000         0
245.41/245.56	c       504       660    687.34     95.36      7.21   1000000         0
247.01/247.13	c       514       773    700.01    105.07      6.66   1000000         0
248.61/248.71	c       484       585    710.16    121.08      5.87   1000000         0
250.11/250.28	c       440       657    694.22    101.13      6.86   1000000         0
251.72/251.85	c       481       633    701.72     97.74      7.18   1000000         0
253.31/253.43	c       489       661    721.14     99.01      7.28   1000000         0
254.91/255.00	c       467       595    695.40     99.15      7.01   1000000         0
256.41/256.57	c       459       758    686.47    120.71      5.69   1000000         0
258.01/258.14	c       518       694    710.90    116.59      6.10   1000000         0
259.61/259.71	c       459       634    681.31     95.05      7.17   1000000         0
261.10/261.29	c       459       608    689.35    102.51      6.72   1000000         0
262.71/262.86	c       457       639    712.54    102.34      6.96   1000000         0
264.30/264.44	c       500       800    713.98     96.21      7.42   1000000         0
265.90/266.01	c       494       808    703.54     92.08      7.64   1000000         0
267.40/267.59	c       510       738    733.86    107.98      6.80   1000000         0
269.00/269.17	c       484       695    711.84    126.43      5.63   1000000         0
270.60/270.74	c       456       587    704.54    114.80      6.14   1000000         0
272.20/272.31	c       472       718    700.92     87.18      8.04   1000000         0
273.71/273.89	c       457       760    701.30    105.14      6.67   1000000         0
275.30/275.46	c       492       812    703.43     99.77      7.05   1000000         0
276.90/277.03	c       480       748    701.76    115.59      6.07   1000000         0
278.50/278.60	c       426       700    693.25    110.26      6.29   1000000         0
280.00/280.18	c       456       742    715.20    106.60      6.71   1000000         0
281.60/281.75	c       504       874    711.81     78.05      9.12   1000000         0
283.20/283.32	c       481       788    688.77     88.31      7.80   1000000         0
284.70/284.90	c       466       580    703.20     95.31      7.38   1000000         0
286.30/286.47	c       493       762    714.08    122.49      5.83   1000000         0
287.90/288.05	c       501       827    699.81    105.33      6.64   1000000         0
289.49/289.62	c       507       750    719.74    100.46      7.16   1000000         0
291.09/291.20	c       497       734    694.25    108.83      6.38   1000000         0
292.59/292.77	c       434       621    695.52    118.62      5.86   1000000         0
294.19/294.35	c       466       863    711.82    107.02      6.65   1000000         0
295.80/295.92	c       509       694    714.59    105.11      6.80   1000000         0
297.39/297.50	c       507       628    717.17    102.11      7.02   1000000         0
298.89/299.08	c       484       702    700.90    114.11      6.14   1000000         0
300.49/300.66	c       480       625    723.17    110.36      6.55   1000000         0
302.09/302.23	c       426       763    720.41    109.56      6.58   1000000         0
303.69/303.81	c       474       627    704.69    108.30      6.51   1000000         0
305.19/305.38	c       465       727    705.75     89.96      7.84   1000000         0
306.80/306.96	c       479       598    695.38    106.20      6.55   1000000         0
308.39/308.54	c       492       595    713.04    122.51      5.82   1000000         0
310.00/310.11	c       506       758    713.62     92.85      7.69   1000000         0
311.49/311.69	c       483       852    715.97    111.12      6.44   1000000         0
313.09/313.27	c       461       553    708.32    133.11      5.32   1000000         0
314.69/314.85	c       485       765    711.31    129.52      5.49   1000000         0
316.29/316.42	c       500       640    705.37     99.20      7.11   1000000         0
317.79/317.99	c       476       664    696.44    109.40      6.37   1000000         0
319.39/319.56	c       452       763    704.92    119.65      5.89   1000000         0
320.99/321.14	c       484       712    720.40    101.37      7.11   1000000         0
322.58/322.72	c       462       676    701.06    105.67      6.63   1000000         0
324.08/324.29	c       508       633    703.85    104.80      6.72   1000000         0
325.68/325.86	c       511       725    703.08    111.39      6.31   1000000         0
327.28/327.43	c       521       634    707.62    111.86      6.33   1000000         0
328.88/329.00	c       481       648    705.77    123.15      5.73   1000000         0
330.38/330.57	c       485       754    698.30     96.20      7.26   1000000         0
331.99/332.15	c       464       732    715.28    113.81      6.28   1000000         0
333.58/333.73	c       447       610    705.51     92.24      7.65   1000000         0
335.18/335.30	c       463       645    706.07    121.20      5.83   1000000         0
336.68/336.87	c       491       586    711.31    103.33      6.88   1000000         0
338.28/338.45	c       519       632    699.64     90.53      7.73   1000000         0
339.88/340.02	c       469       754    707.26    107.16      6.60   1000000         0
341.38/341.59	c       472       716    700.00    111.14      6.30   1000000         0
342.99/343.17	c       499       664    697.97    106.03      6.58   1000000         0
344.58/344.75	c       492       723    711.15     92.17      7.72   1000000         0
346.18/346.32	c       417       660    699.39    110.73      6.32   1000000         0
347.68/347.89	c       458       825    706.93    117.10      6.04   1000000         0
349.28/349.46	c       499       703    694.73     94.81      7.33   1000000         0
350.88/351.03	c       483       687    699.49     83.47      8.38   1000000         0
352.48/352.60	c       445       722    697.42    117.63      5.93   1000000         0
353.98/354.18	c       489       705    700.69    100.30      6.99   1000000         0
355.57/355.75	c       489       720    711.31    110.03      6.46   1000000         0
357.17/357.33	c       484       750    705.32    119.23      5.92   1000000         0
358.77/358.91	c       470       712    704.25    103.73      6.79   1000000         0
360.27/360.49	c       448       708    709.40    105.09      6.75   1000000         0
361.87/362.06	c       478       627    699.87     97.00      7.22   1000000         0
363.47/363.63	c       447       705    694.40    115.54      6.01   1000000         0
365.08/365.20	c       474       686    710.90    111.73      6.36   1000000         0
366.57/366.78	c       488       645    702.03    112.06      6.26   1000000         0
368.17/368.36	c       468       801    700.18    111.97      6.25   1000000         0
369.78/369.93	c       463       690    699.05    105.90      6.60   1000000         0
371.38/371.50	c       453       668    686.90     99.77      6.89   1000000         0
372.88/373.07	c       513       627    700.33     91.45      7.66   1000000         0
374.48/374.64	c       488       655    695.63    100.47      6.92   1000000         0
376.09/376.22	c       520       767    719.08    111.58      6.44   1000000         0
377.57/377.76	c       515       767    705.33     95.30      7.40   1000000         0
379.17/379.33	c       429       687    692.73     94.05      7.37   1000000         0
380.77/380.91	c       511       759    725.92    100.47      7.23   1000000         0
382.27/382.48	c       463       622    689.67    107.45      6.42   1000000         0
383.87/384.07	c       459       715    733.79    114.70      6.40   1000000         0
385.47/385.64	c       499       545    707.50     87.95      8.04   1000000         0
387.08/387.21	c       462       670    697.08    106.11      6.57   1000000         0
388.57/388.78	c       493       747    699.07     84.06      8.32   1000000         0
390.17/390.35	c       422       763    679.68    115.93      5.86   1000000         0
391.77/391.93	c       499       628    705.85     90.85      7.77   1000000         0
393.37/393.51	c       520       688    714.56    103.64      6.89   1000000         0
394.87/395.08	c       463       724    703.08    100.62      6.99   1000000         0
396.47/396.65	c       474       699    704.90     96.42      7.31   1000000         0
398.08/398.23	c       449       786    702.30    114.68      6.12   1000000         0
399.67/399.81	c       457       650    721.32    117.38      6.15   1000000         0
401.17/401.39	c       496       686    707.90     93.73      7.55   1000000         0
402.77/402.96	c       487       706    683.73     94.07      7.27   1000000         0
404.37/404.53	c       458       802    693.50    115.23      6.02   1000000         0
405.96/406.10	c       483       690    692.24    117.37      5.90   1000000         0
407.46/407.68	c       457       571    690.60    114.72      6.02   1000000         0
409.07/409.25	c       440       710    705.78    116.62      6.05   1000000         0
410.66/410.83	c       424       723    716.84    110.31      6.50   1000000         0
412.27/412.40	c       489       641    701.35    127.07      5.52   1000000         0
413.76/413.97	c       459       595    696.86    116.26      5.99   1000000         0
415.36/415.54	c       484       767    701.98    105.10      6.68   1000000         0
416.96/417.12	c       478       658    692.65     92.62      7.48   1000000         0
418.46/418.69	c       460       713    700.25    109.82      6.38   1000000         0
420.07/420.27	c       491       618    702.77    102.41      6.86   1000000         0
421.66/421.84	c       442       684    720.90    113.49      6.35   1000000         0
423.27/423.42	c       500       845    709.56     86.83      8.17   1000000         0
424.76/424.99	c       473       718    711.48    121.02      5.88   1000000         0
426.36/426.57	c       485       633    716.26    101.16      7.08   1000000         0
427.96/428.14	c       474       651    693.69    109.26      6.35   1000000         0
429.56/429.72	c       452       724    707.91     95.61      7.40   1000000         0
431.06/431.29	c       456       730    687.82     97.18      7.08   1000000         0
432.66/432.86	c       517       691    696.94    107.09      6.51   1000000         0
434.26/434.43	c       482       880    714.51    106.95      6.68   1000000         0
435.86/436.01	c       513       652    712.46    107.80      6.61   1000000         0
437.36/437.58	c       494       809    704.45    106.01      6.65   1000000         0
438.96/439.15	c       493       715    700.92    104.63      6.70   1000000         0
440.55/440.72	c       481       687    704.52    102.62      6.87   1000000         0
442.06/442.28	c       439       662    699.66    116.09      6.03   1000000         0
443.65/443.86	c       525       698    714.16    106.38      6.71   1000000         0
445.26/445.42	c       439       680    706.76    107.22      6.59   1000000         0
446.75/446.99	c       474       644    693.17    104.68      6.62   1000000         0
448.35/448.57	c       479       696    714.49    130.30      5.48   1000000         0
449.95/450.14	c       474       756    710.20    110.83      6.41   1000000         0
451.55/451.72	c       522       656    726.52    119.72      6.07   1000000         0
453.06/453.29	c       486       655    710.22    106.73      6.65   1000000         0
454.65/454.86	c       442       662    707.42    112.20      6.30   1000000         0
456.26/456.44	c       480       682    709.88    101.54      6.99   1000000         0
457.85/458.01	c       465       757    697.36    115.32      6.05   1000000         0
459.35/459.59	c       511       590    704.74    106.58      6.61   1000000         0
460.95/461.16	c       496       757    703.80    121.68      5.78   1000000         0
462.55/462.74	c       432       504    705.15     92.47      7.63   1000000         0
464.15/464.31	c       460       706    695.24    102.33      6.79   1000000         0
465.65/465.89	c       502       650    708.58    104.02      6.81   1000000         0
467.25/467.46	c       491       630    697.18     99.13      7.03   1000000         0
468.84/469.03	c       439       598    693.87    111.23      6.24   1000000         0
470.44/470.60	c       492       608    721.70    107.45      6.72   1000000         0
471.94/472.18	c       439       691    690.12     92.34      7.47   1000000         0
473.54/473.76	c       490       747    720.94    121.98      5.91   1000000         0
475.14/475.33	c       490       788    708.96    117.74      6.02   1000000         0
476.64/476.89	c       469       610    688.00     99.02      6.95   1000000         0
478.25/478.46	c       466       772    712.39    100.85      7.06   1000000         0
479.84/480.03	c       451       820    709.39     95.97      7.39   1000000         0
481.44/481.60	c       480       582    711.37    104.41      6.81   1000000         0
482.94/483.17	c       481       579    694.68    105.02      6.61   1000000         0
484.54/484.74	c       489       623    709.76    110.76      6.41   1000000         0
486.14/486.32	c       493       667    700.22    121.20      5.78   1000000         0
487.64/487.89	c       483       696    711.98     94.85      7.51   1000000         0
489.24/489.46	c       481       732    714.25     93.06      7.68   1000000         0
490.84/491.03	c       464       650    689.96    120.21      5.74   1000000         0
492.44/492.61	c       489       833    698.57    106.47      6.56   1000000         0
493.93/494.18	c       451       743    710.87    112.91      6.30   1000000         0
495.53/495.75	c       482       715    694.30    106.12      6.54   1000000         0
497.13/497.32	c       474       720    713.31    120.59      5.91   1000000         0
498.73/498.90	c       421       790    701.51    110.41      6.35   1000000         0
500.24/500.47	c       501       608    692.17     98.18      7.05   1000000         0
501.83/502.04	c       509       585    704.15    114.30      6.16   1000000         0
503.43/503.61	c       466       628    704.32     99.51      7.08   1000000         0
504.93/505.19	c       410       620    699.44    122.68      5.70   1000000         0
506.53/506.77	c       505       565    719.01    106.46      6.75   1000000         0
508.13/508.34	c       453       648    709.59    113.49      6.25   1000000         0
509.73/509.91	c       491       576    711.77     94.23      7.55   1000000         0
511.23/511.48	c       410       796    698.98    119.23      5.86   1000000         0
512.83/513.06	c       502       641    717.58    105.15      6.82   1000000         0
514.43/514.63	c       475       570    698.38    111.28      6.28   1000000         0
516.03/516.21	c       462       661    734.46    102.32      7.18   1000000         0
517.53/517.78	c       469       604    706.95     90.88      7.78   1000000         0
519.13/519.35	c       504       639    706.88    108.08      6.54   1000000         0
520.73/520.93	c       492       590    702.89     99.37      7.07   1000000         0
522.23/522.50	c       473       664    717.11    103.12      6.95   1000000         0
523.83/524.08	c       477       747    697.83    109.60      6.37   1000000         0
525.42/525.65	c       489       705    714.09    119.23      5.99   1000000         0
527.02/527.22	c       457       699    705.27     98.78      7.14   1000000         0
528.62/528.80	c       500       698    715.88    109.17      6.56   1000000         0
530.12/530.36	c       485       791    690.37     92.96      7.43   1000000         0
531.72/531.92	c       490       743    687.07     89.54      7.67   1000000         0
533.23/533.49	c       468       686    687.23     98.38      6.99   1000000         0
534.82/535.07	c       507       723    712.85     88.19      8.08   1000000         0
536.42/536.64	c       517       821    690.51     96.42      7.16   1000000         0
538.02/538.21	c       475       695    699.07    114.73      6.09   1000000         0
539.52/539.79	c       480       677    703.73    102.01      6.90   1000000         0
541.12/541.36	c       469       627    695.40    100.14      6.94   1000000         0
542.72/542.93	c       526       610    716.81    112.38      6.38   1000000         0
544.23/544.50	c       488       656    691.61    103.88      6.66   1000000         0
545.82/546.07	c       483       705    693.67    112.89      6.14   1000000         0
547.42/547.65	c       468       683    716.02    113.22      6.32   1000000         0
549.02/549.22	c       438       675    687.12    106.94      6.43   1000000         0
550.62/550.80	c       503       870    719.97    105.17      6.85   1000000         0
552.12/552.37	c       410       809    688.38    116.48      5.91   1000000         0
553.72/553.95	c       489       674    717.96    107.08      6.70   1000000         0
555.32/555.51	c       405       773    691.78    118.58      5.83   1000000         0
556.82/557.08	c       462       740    706.91    115.71      6.11   1000000         0
558.42/558.64	c       466       747    694.42    114.56      6.06   1000000         0
560.01/560.21	c       495       552    695.74    107.80      6.45   1000000         0
561.51/561.79	c       521       644    721.80    109.42      6.60   1000000         0
563.11/563.36	c       460       751    695.17    105.66      6.58   1000000         0
564.71/564.93	c       474       627    699.81    102.97      6.80   1000000         0
566.22/566.50	c       495       620    716.71    106.86      6.71   1000000         0
567.81/568.07	c       496       699    698.30    121.19      5.76   1000000         0
569.41/569.64	c       482       716    690.18     93.02      7.42   1000000         0
571.01/571.20	c       477       685    700.79    103.32      6.78   1000000         0
572.51/572.78	c       412       740    694.08    106.87      6.49   1000000         0
574.11/574.34	c       461       622    689.92    103.20      6.69   1000000         0
575.71/575.91	c       469       733    704.30    125.50      5.61   1000000         0
577.22/577.48	c       411       706    702.63    122.08      5.76   1000000         0
578.81/579.06	c       471       682    695.89     94.59      7.36   1000000         0
580.41/580.63	c       494       730    712.39    108.76      6.55   1000000         0
582.01/582.20	c       464       629    710.36     98.21      7.23   1000000         0
583.51/583.77	c       462       611    685.77     96.00      7.14   1000000         0
585.11/585.34	c       449       638    705.18    116.03      6.08   1000000         0
586.71/586.91	c       487       710    709.45    113.93      6.23   1000000         0
588.21/588.48	c       489       658    704.16     98.21      7.17   1000000         0
589.81/590.05	c       520       734    712.97     91.75      7.77   1000000         0
591.41/591.63	c       469       703    708.09    117.11      6.05   1000000         0
593.00/593.20	c       445       725    703.38    112.08      6.28   1000000         0
594.50/594.77	c       496       746    706.99    100.43      7.04   1000000         0
596.10/596.34	c       479       576    715.52    114.06      6.27   1000000         0
597.70/597.92	c       505       647    696.84    112.86      6.17   1000000         0
599.21/599.48	c       501       625    700.14     95.74      7.31   1000000         0
600.80/601.05	c       484       715    695.81    107.53      6.47   1000000         0
602.40/602.63	c       451       636    698.94    109.48      6.38   1000000         0
604.00/604.20	c       473       791    723.63    119.47      6.06   1000000         0
605.50/605.78	c       435       694    707.38     99.66      7.10   1000000         0
607.10/607.35	c       468       730    710.99    107.75      6.60   1000000         0
608.70/608.92	c       446       699    688.84     92.12      7.48   1000000         0
610.21/610.49	c       447       635    705.33     98.08      7.19   1000000         0
611.80/612.06	c       461       639    687.83    113.40      6.07   1000000         0
613.40/613.64	c       495       722    714.76     89.92      7.95   1000000         0
615.00/615.21	c       475       653    713.12    104.98      6.79   1000000         0
616.50/616.79	c       453       711    713.25    122.32      5.83   1000000         0
618.10/618.36	c       445       732    691.33    111.20      6.22   1000000         0
619.70/619.93	c       480       708    710.85     95.15      7.47   1000000         0
621.20/621.50	c       505       649    702.79    118.14      5.95   1000000         0
622.80/623.08	c       495       683    702.20    118.05      5.95   1000000         0
624.40/624.65	c       457       674    704.48    103.47      6.81   1000000         0
626.00/626.22	c       512       711    724.90     90.19      8.04   1000000         0
627.50/627.79	c       467       638    715.08    125.07      5.72   1000000         0
629.09/629.36	c       482       804    689.46    109.27      6.31   1000000         0
630.69/630.93	c       478       608    704.58    103.81      6.79   1000000         0
632.30/632.51	c       487       655    708.97    108.99      6.50   1000000         0
633.79/634.08	c       501       656    708.02     95.23      7.44   1000000         0
635.39/635.66	c       508       676    729.92    110.59      6.60   1000000         0
636.99/637.23	c       480       623    695.05     82.30      8.44   1000000         0
638.59/638.80	c       450       592    708.27    121.60      5.82   1000000         0
640.09/640.38	c       509       776    716.96    106.54      6.73   1000000         0
641.69/641.95	c       473       660    705.04    120.03      5.87   1000000         0
643.30/643.52	c       468       697    700.51    119.78      5.85   1000000         0
644.79/645.10	c       490       602    718.88    114.31      6.29   1000000         0
646.39/646.66	c       441       675    682.11     89.52      7.62   1000000         0
647.99/648.22	c       447       736    685.45    104.90      6.53   1000000         0
649.59/649.80	c       507       729    695.96     90.68      7.67   1000000         0
651.09/651.36	c       486       571    691.73    102.62      6.74   1000000         0
652.69/652.94	c       490       697    714.98    122.63      5.83   1000000         0
654.29/654.52	c       468       713    711.42     99.90      7.12   1000000         0
655.89/656.10	c       470       589    701.39    113.27      6.19   1000000         0
657.39/657.67	c       463       680    684.44     93.76      7.30   1000000         0
658.98/659.24	c       511       777    716.44    104.92      6.83   1000000         0
660.58/660.82	c       467       703    707.02    104.33      6.78   1000000         0
662.08/662.39	c       483       709    701.41    102.55      6.84   1000000         0
663.68/663.96	c       435       835    699.93    109.48      6.39   1000000         0
665.29/665.52	c       467       657    691.11    115.68      5.97   1000000         0
666.78/667.08	c       478       770    696.65     95.39      7.30   1000000         0
668.38/668.66	c       439       684    699.10    100.80      6.94   1000000         0
669.98/670.23	c       516       652    699.47    103.52      6.76   1000000         0
671.58/671.81	c       513       528    725.71    116.30      6.24   1000000         0
673.08/673.37	c       468       525    682.75    111.78      6.11   1000000         0
674.68/674.94	c       525       626    708.99    108.08      6.56   1000000         0
676.29/676.52	c       485       637    697.50     96.82      7.20   1000000         0
677.78/678.08	c       408       628    673.64    118.63      5.68   1000000         0
679.38/679.65	c       476       655    701.35     99.23      7.07   1000000         0
680.98/681.23	c       474       660    723.65    100.78      7.18   1000000         0
682.58/682.80	c       486       647    708.73    113.41      6.25   1000000         0
684.08/684.37	c       447       615    684.96    100.39      6.82   1000000         0
685.68/685.94	c       494       583    711.52    105.78      6.73   1000000         0
687.29/687.52	c       494       690    730.75     98.22      7.44   1000000         0
688.78/689.09	c       499       678    713.83    114.42      6.24   1000000         0
690.38/690.66	c       448       775    689.47    103.59      6.66   1000000         0
691.98/692.24	c       476       741    713.25    112.75      6.33   1000000         0
693.58/693.81	c       500       764    707.41    107.62      6.57   1000000         0
695.08/695.38	c       430       615    701.83     93.80      7.48   1000000         0
696.67/696.95	c       428       669    687.08    122.26      5.62   1000000         0
698.28/698.52	c       496       706    679.94     89.28      7.62   1000000         0
699.77/700.10	c       481       709    722.31    137.34      5.26   1000000         0
701.37/701.67	c       494       723    705.19    121.51      5.80   1000000         0
702.97/703.24	c       478       645    707.61    112.59      6.28   1000000         0
704.57/704.81	c       496       653    701.04    118.68      5.91   1000000         0
706.07/706.38	c       497       738    702.18    113.11      6.21   1000000         0
707.67/707.95	c       495       658    706.34     84.55      8.35   1000000         0
709.28/709.52	c       482       672    709.58    114.15      6.22   1000000         0
710.87/711.10	c       494       716    711.08    114.08      6.23   1000000         0
712.37/712.68	c       448       628    720.81    105.57      6.83   1000000         0
713.97/714.26	c       474       711    728.32    110.63      6.58   1000000         0
715.57/715.83	c       492       766    706.30    111.71      6.32   1000000         0
717.17/717.40	c       424       687    703.54    104.65      6.72   1000000         0
718.67/718.97	c       445       634    711.57    139.93      5.08   1000000         0
720.28/720.55	c       533       742    712.22    110.09      6.47   1000000         0
721.87/722.12	c       522       762    702.73     84.51      8.32   1000000         0
723.37/723.69	c       424       650    703.45    101.26      6.95   1000000         0
724.97/725.27	c       468       787    707.64    113.77      6.22   1000000         0
726.57/726.83	c       456       719    695.03     77.12      9.01   1000000         0
728.17/728.40	c       502       871    709.07    109.80      6.46   1000000         0
729.67/729.98	c       495       659    721.87    119.02      6.07   1000000         0
731.27/731.55	c       481       639    690.27    100.14      6.89   1000000         0
732.86/733.12	c       493       650    706.82     98.81      7.15   1000000         0
734.36/734.69	c       496       619    695.20    108.74      6.39   1000000         0
735.96/736.26	c       487       646    706.24     95.46      7.40   1000000         0
737.56/737.83	c       517       784    712.44     98.73      7.22   1000000         0
739.16/739.41	c       480       698    730.33    112.80      6.47   1000000         0
740.66/740.98	c       493       652    698.49     96.85      7.21   1000000         0
742.27/742.55	c       440       735    691.40    110.01      6.28   1000000         0
743.86/744.12	c       483       570    696.74    105.50      6.60   1000000         0
745.36/745.68	c       447       638    691.93    110.78      6.25   1000000         0
746.96/747.26	c       467       675    709.41    114.14      6.22   1000000         0
748.56/748.83	c       434       758    698.04    118.52      5.89   1000000         0
750.16/750.40	c       516       709    717.16    101.53      7.06   1000000         0
751.66/751.97	c       500       731    696.22    102.77      6.77   1000000         0
753.27/753.54	c       470       751    709.84    112.53      6.31   1000000         0
754.86/755.11	c       443       802    686.41     86.75      7.91   1000000         0
756.36/756.69	c       476       681    718.26    112.42      6.39   1000000         0
757.96/758.25	c       448       744    694.92    118.59      5.86   1000000         0
759.56/759.83	c       507       771    724.55    103.55      7.00   1000000         0
761.16/761.42	c       484       627    724.51    113.89      6.36   1000000         0
762.66/762.98	c       484       673    709.11    112.80      6.29   1000000         0
764.26/764.55	c       491       692    705.96     97.27      7.26   1000000         0
765.85/766.13	c       507       659    733.38    116.60      6.29   1000000         0
767.46/767.71	c       478       651    696.89    109.20      6.38   1000000         0
768.95/769.28	c       511       796    715.65     99.24      7.21   1000000         0
770.55/770.85	c       472       723    703.36    107.89      6.52   1000000         0
772.15/772.42	c       468       715    706.21    110.60      6.39   1000000         0
773.65/773.99	c       445       635    709.11     97.38      7.28   1000000         0
775.26/775.56	c       484       761    721.17    115.48      6.25   1000000         0
776.85/777.13	c       483       683    706.37    103.25      6.84   1000000         0
778.46/778.71	c       487       682    711.36    128.14      5.55   1000000         0
779.95/780.27	c       471       632    687.53    120.85      5.69   1000000         0
781.55/781.84	c       513       595    699.88     97.87      7.15   1000000         0
783.15/783.42	c       496       571    723.00    116.22      6.22   1000000         0
784.65/784.99	c       477       794    686.63     99.10      6.93   1000000         0
786.26/786.56	c       463       661    696.83     97.79      7.13   1000000         0
787.85/788.13	c       454       727    702.85     94.63      7.43   1000000         0
789.45/789.71	c       500       732    725.51    113.21      6.41   1000000         0
790.95/791.27	c       482       691    683.95    102.23      6.69   1000000         0
792.55/792.84	c       435       774    683.00     94.28      7.24   1000000         0
794.15/794.41	c       486       705    694.82     98.53      7.05   1000000         0
795.65/795.98	c       475       789    696.51    111.21      6.26   1000000         0
797.25/797.55	c       486       700    695.05    109.32      6.36   1000000         0
798.85/799.12	c       375       527    710.80    128.20      5.54   1000000         0
800.45/800.70	c       470       652    721.78     91.50      7.89   1000000         0
801.94/802.27	c       458       722    696.87    107.16      6.50   1000000         0
803.54/803.85	c       472       689    724.37    128.26      5.65   1000000         0
805.14/805.41	c       494       678    686.58     97.06      7.07   1000000         0
806.64/806.99	c       506       823    704.73    105.01      6.71   1000000         0
808.25/808.56	c       518       622    709.13    116.05      6.11   1000000         0
809.84/810.13	c       422       693    701.02    113.69      6.17   1000000         0
811.34/811.70	c       482       790    714.16     99.10      7.21   1000000         0
812.94/813.27	c       489       577    707.20     96.39      7.34   1000000         0
814.54/814.85	c       480       646    710.90    108.51      6.55   1000000         0
816.14/816.42	c       491       809    706.21    101.18      6.98   1000000         0
817.64/817.99	c       485       742    692.18    101.11      6.85   1000000         0
819.25/819.56	c       462       766    712.83    100.36      7.10   1000000         0
820.84/821.14	c       441       718    700.82    107.09      6.54   1000000         0
822.44/822.71	c       458       622    700.52    109.71      6.39   1000000         0
823.94/824.28	c       503       789    694.98    102.27      6.80   1000000         0
825.54/825.85	c       481       661    711.81    107.35      6.63   1000000         0
827.14/827.42	c       472       694    694.89     93.98      7.39   1000000         0
828.64/828.99	c       473       713    695.23     86.14      8.07   1000000         0
830.24/830.55	c       451       590    688.10    100.75      6.83   1000000         0
831.84/832.13	c       462       723    688.65    110.39      6.24   1000000         0
833.33/833.70	c       477       767    708.67    109.66      6.46   1000000         0
834.93/835.26	c       426       624    686.80    108.89      6.31   1000000         0
836.53/836.83	c       453       645    697.69    106.34      6.56   1000000         0
838.03/838.39	c       445       728    692.14    100.61      6.88   1000000         0
839.63/839.97	c       423       760    713.83    118.87      6.00   1000000         0
841.24/841.54	c       433       611    706.96     91.30      7.74   1000000         0
842.83/843.11	c       510       780    701.90     94.10      7.46   1000000         0
844.33/844.68	c       474       698    703.34     82.25      8.55   1000000         0
845.93/846.26	c       433       748    710.02    112.04      6.34   1000000         0
847.53/847.83	c       491       624    702.41    100.23      7.01   1000000         0
849.13/849.40	c       444       661    709.68    105.20      6.75   1000000         0
850.63/850.97	c       427       649    698.19    107.05      6.52   1000000         0
852.24/852.55	c       482       630    700.73    120.44      5.82   1000000         0
853.83/854.12	c       474       701    700.46     93.04      7.53   1000000         0
855.33/855.69	c       462       671    709.51    108.89      6.52   1000000         0
856.93/857.26	c       468       553    698.27    100.50      6.95   1000000         0
858.53/858.84	c       494       794    710.85     97.42      7.30   1000000         0
860.12/860.42	c       467       714    711.62    105.76      6.73   1000000         0
861.62/861.99	c       488       725    711.29    115.45      6.16   1000000         0
863.23/863.56	c       461       684    695.36    111.76      6.22   1000000         0
864.82/865.13	c       462       796    692.85    112.19      6.18   1000000         0
866.43/866.70	c       419       678    703.40     95.80      7.34   1000000         0
867.92/868.27	c       485       763    690.71     92.33      7.48   1000000         0
869.52/869.84	c       473       693    691.28    101.59      6.80   1000000         0
871.12/871.42	c       514       805    711.13    102.02      6.97   1000000         0
872.62/872.99	c       447       577    696.02    111.86      6.22   1000000         0
874.23/874.55	c       453       689    695.96     90.25      7.71   1000000         0
875.82/876.13	c       505       586    713.39    102.04      6.99   1000000         0
877.43/877.70	c       439       678    704.51    112.68      6.25   1000000         0
878.92/879.28	c       474       762    704.62    139.87      5.04   1000000         0
880.52/880.85	c       478       745    713.15    110.34      6.46   1000000         0
882.12/882.42	c       496       706    705.79    109.11      6.47   1000000         0
883.62/883.98	c       488       737    694.08     86.67      8.01   1000000         0
885.23/885.56	c       479       653    703.54     97.41      7.22   1000000         0
886.82/887.13	c       456       610    716.56    110.93      6.46   1000000         0
888.42/888.71	c       480       708    709.79    102.41      6.93   1000000         0
889.92/890.28	c       481       596    694.66    105.04      6.61   1000000         0
891.52/891.86	c       495       698    705.07    100.11      7.04   1000000         0
893.12/893.43	c       487       674    706.23    111.06      6.36   1000000         0
894.72/895.00	c       506       751    719.88     89.14      8.08   1000000         0
896.22/896.58	c       402       581    708.75    113.07      6.27   1000000         0
897.81/898.15	c       448       711    710.11    105.41      6.74   1000000         0
899.42/899.73	c       502       722    716.85    121.63      5.89   1000000         0
901.01/901.30	c       451       820    703.82    108.40      6.49   1000000         0
902.51/902.87	c       485       593    704.94     89.32      7.89   1000000         0
904.11/904.44	c       435       761    694.20    109.69      6.33   1000000         0
905.71/906.01	c       453       735    697.86    107.31      6.50   1000000         0
907.22/907.59	c       516       727    717.48    104.89      6.84   1000000         0
908.81/909.16	c       461       732    696.37    102.39      6.80   1000000         0
910.42/910.72	c       512       703    706.28    110.30      6.40   1000000         0
911.91/912.29	c       482       733    692.88     90.33      7.67   1000000         0
913.51/913.86	c       448       725    707.27    100.05      7.07   1000000         0
915.11/915.43	c       485       690    709.44    104.45      6.79   1000000         0
916.71/917.00	c       481       694    706.89    109.32      6.47   1000000         0
918.22/918.57	c       528       701    716.58    102.68      6.98   1000000         0
919.81/920.15	c       517       599    723.87    109.31      6.62   1000000         0
921.41/921.71	c       483       657    705.85     82.30      8.58   1000000         0
922.91/923.29	c       471       739    707.08    113.13      6.25   1000000         0
924.51/924.86	c       465       701    710.85     92.19      7.71   1000000         0
926.11/926.43	c       490       664    710.87     97.28      7.31   1000000         0
927.71/928.00	c       482       750    708.84    103.25      6.87   1000000         0
929.21/929.57	c       453       576    689.32     98.71      6.98   1000000         0
930.81/931.15	c       452       655    703.93    112.64      6.25   1000000         0
932.41/932.72	c       472       731    713.90    123.64      5.77   1000000         0
933.91/934.30	c       449       772    702.92     97.42      7.22   1000000         0
935.50/935.88	c       506       784    707.45    100.67      7.03   1000000         0
937.10/937.45	c       480       633    690.87    107.59      6.42   1000000         0
938.70/939.02	c       483       796    703.84     97.29      7.23   1000000         0
940.21/940.60	c       484       606    713.20    100.83      7.07   1000000         0
941.80/942.16	c       472       897    694.52     91.40      7.60   1000000         0
943.41/943.74	c       418       626    726.97    111.38      6.53   1000000         0
945.00/945.31	c       484       702    713.14     97.97      7.28   1000000         0
946.50/946.88	c       492       614    696.08     78.26      8.89   1000000         0
948.10/948.45	c       454       655    704.76     99.58      7.08   1000000         0
949.70/950.01	c       403       749    693.35    113.21      6.12   1000000         0
951.21/951.58	c       433       768    691.42    114.34      6.05   1000000         0
952.80/953.16	c       465       611    718.10    120.23      5.97   1000000         0
954.40/954.72	c       441       619    698.90    111.19      6.29   1000000         0
956.00/956.30	c       499       831    712.69    124.22      5.74   1000000         0
957.50/957.87	c       531       664    706.64     88.13      8.02   1000000         0
959.10/959.45	c       481       656    715.80    104.34      6.86   1000000         0
960.70/961.03	c       487       712    718.14    116.96      6.14   1000000         0
962.20/962.60	c       436       645    706.32    103.39      6.83   1000000         0
963.80/964.17	c       468       704    690.37    119.62      5.77   1000000         0
965.40/965.73	c       482       636    680.42     73.68      9.24   1000000         0
966.99/967.31	c       495       727    692.43     99.58      6.95   1000000         0
968.49/968.88	c       512       695    718.76     91.21      7.88   1000000         0
970.09/970.45	c       475       779    704.05     98.94      7.12   1000000         0
971.69/972.02	c       467       781    701.75     94.75      7.41   1000000         0
973.20/973.59	c       485       649    699.63    114.34      6.12   1000000         0
974.79/975.17	c       479       791    698.11     97.29      7.18   1000000         0
976.40/976.74	c       499       745    707.72    114.51      6.18   1000000         0
977.99/978.31	c       470       747    690.33    109.03      6.33   1000000         0
979.49/979.88	c       458       705    722.25    125.39      5.76   1000000         0
981.09/981.45	c       491       708    708.95    121.08      5.86   1000000         0
982.69/983.02	c       483       793    700.08     96.87      7.23   1000000         0
984.20/984.59	c       453       502    695.90     94.81      7.34   1000000         0
985.79/986.16	c       527       717    698.22    107.34      6.50   1000000         0
987.40/987.73	c       483       658    707.23    100.73      7.02   1000000         0
988.89/989.29	c       449       739    702.77    119.97      5.86   1000000         0
990.49/990.87	c       443       620    713.24    105.29      6.77   1000000         0
992.09/992.44	c       490       665    700.35     92.70      7.55   1000000         0
993.69/994.01	c       506       622    715.31     98.63      7.25   1000000         0
995.19/995.58	c       431       683    704.58    119.00      5.92   1000000         0
996.79/997.15	c       505       658    722.96    112.71      6.41   1000000         0
998.39/998.72	c       484       749    707.71    104.69      6.76   1000000         0
999.89/1000.29	c       454       731    685.93     97.17      7.06   1000000         0
1001.49/1001.87	c       480       543    706.32    100.21      7.05   1000000         0
1003.09/1003.44	c       441       754    702.40    103.05      6.82   1000000         0
1004.68/1005.02	c       466       679    705.50    108.69      6.49   1000000         0
1006.19/1006.58	c       482       654    710.38    114.65      6.20   1000000         0
1007.78/1008.16	c       434       580    704.17    109.62      6.42   1000000         0
1009.39/1009.73	c       500       753    715.48     94.03      7.61   1000000         0
1010.98/1011.30	c       483       640    708.21    116.68      6.07   1000000         0
1012.48/1012.88	c       480       733    707.90    109.87      6.44   1000000         0
1014.08/1014.44	c       468       723    689.07     90.36      7.63   1000000         0
1015.68/1016.02	c       390       651    710.33    106.28      6.68   1000000         0
1017.19/1017.59	c       440       764    705.11    126.79      5.56   1000000         0
1018.78/1019.17	c       445       653    700.33    106.97      6.55   1000000         0
1020.39/1020.74	c       479       700    719.38    111.35      6.46   1000000         0
1021.98/1022.33	c       482       661    711.38    102.33      6.95   1000000         0
1023.58/1023.90	c       430       738    706.22    107.54      6.57   1000000         0
1025.08/1025.47	c       492       824    710.96    101.49      7.00   1000000         0
1026.68/1027.04	c       473       652    703.70    108.25      6.50   1000000         0
1028.28/1028.61	c       523       675    718.48    110.59      6.50   1000000         0
1029.78/1030.18	c       471       727    708.07    101.82      6.95   1000000         0
1031.38/1031.75	c       485       604    702.15    103.60      6.78   1000000         0
1032.98/1033.33	c       478       595    713.29    101.79      7.01   1000000         0
1034.58/1034.90	c       482       760    697.78    108.46      6.43   1000000         0
1036.08/1036.47	c       479       592    700.05     94.20      7.43   1000000         0
1037.68/1038.04	c       464       768    711.96    109.19      6.52   1000000         0
1039.28/1039.61	c       464       713    710.00    113.35      6.26   1000000         0
1040.77/1041.18	c       427       604    710.34    108.63      6.54   1000000         0
1042.38/1042.76	c       447       793    717.80    114.70      6.26   1000000         0
1043.97/1044.33	c       490       690    710.19    100.78      7.05   1000000         0
1045.47/1045.90	c       420       746    695.92    110.86      6.28   1000000         0
1047.07/1047.47	c       445       501    696.22    110.46      6.30   1000000         0
1048.67/1049.04	c       466       648    699.02    109.49      6.38   1000000         0
1050.27/1050.61	c       485       664    703.34     96.65      7.28   1000000         0
1051.77/1052.18	c       502       801    694.37    111.19      6.24   1000000         0
1053.38/1053.76	c       494       663    727.35     97.51      7.46   1000000         0
1054.97/1055.33	c       470       672    708.02    105.97      6.68   1000000         0
1056.47/1056.87	c       507       668    691.04     92.08      7.50   1000000         0
1058.06/1058.45	c       465       553    705.74    104.66      6.74   1000000         0
1059.66/1060.02	c       427       793    707.52    111.06      6.37   1000000         0
1061.26/1061.60	c       467       733    699.60     96.25      7.27   1000000         0
1062.76/1063.17	c       462       847    716.54    105.74      6.78   1000000         0
1064.37/1064.74	c       430       668    707.72    108.67      6.51   1000000         0
1065.96/1066.32	c       460       655    732.88    118.00      6.21   1000000         0
1067.46/1067.89	c       454       617    702.43    110.81      6.34   1000000         0
1069.06/1069.46	c       482       766    715.99    108.90      6.58   1000000         0
1070.66/1071.03	c       529       632    714.04    103.14      6.92   1000000         0
1072.26/1072.61	c       502       694    724.12    102.98      7.03   1000000         0
1073.76/1074.18	c       470       752    698.97     88.80      7.87   1000000         0
1075.37/1075.75	c       462       625    690.67     90.35      7.64   1000000         0
1076.96/1077.31	c       453       715    696.04    101.19      6.88   1000000         0
1078.46/1078.88	c       493       755    695.87     89.93      7.74   1000000         0
1080.06/1080.46	c       463       699    703.54    106.42      6.61   1000000         0
1081.66/1082.03	c       512       697    705.67    102.35      6.89   1000000         0
1083.17/1083.60	c       485       786    698.33     89.43      7.81   1000000         0
1084.76/1085.17	c       480       776    718.63    120.85      5.95   1000000         0
1086.36/1086.74	c       478       656    703.61    101.11      6.96   1000000         0
1087.96/1088.31	c       483       561    688.38     92.06      7.48   1000000         0
1089.46/1089.88	c       461       854    715.79    106.37      6.73   1000000         0
1091.06/1091.45	c       451       672    693.17    112.24      6.18   1000000         0
1092.66/1093.03	c       498       646    717.71     99.83      7.19   1000000         0
1094.26/1094.60	c       497       604    706.83    115.26      6.13   1000000         0
1095.75/1096.17	c       481       744    695.52     99.20      7.01   1000000         0
1097.36/1097.74	c       481       709    709.25    102.63      6.91   1000000         0
1098.95/1099.32	c       466       609    694.91    103.76      6.70   1000000         0
1100.45/1100.89	c       438       655    688.46    105.00      6.56   1000000         0
1102.05/1102.46	c       481       711    708.02    100.67      7.03   1000000         0
1103.65/1104.03	c       482       630    693.00    101.41      6.83   1000000         0
1105.25/1105.60	c       462       713    689.71    103.75      6.65   1000000         0
1106.75/1107.18	c       467       690    718.48    114.56      6.27   1000000         0
1108.36/1108.75	c       463       666    694.58    118.65      5.85   1000000         0
1109.95/1110.31	c       486       731    715.45     92.52      7.73   1000000         0
1111.45/1111.88	c       436       581    692.48    100.42      6.90   1000000         0
1113.05/1113.45	c       448       631    715.57    115.67      6.19   1000000         0
1114.65/1115.02	c       503       711    718.64    100.43      7.16   1000000         0
1116.25/1116.60	c       438       671    709.99    108.27      6.56   1000000         0
1117.75/1118.18	c       496       799    701.05     92.09      7.61   1000000         0
1119.35/1119.75	c       492       746    701.78     84.22      8.33   1000000         0
1120.95/1121.32	c       483       682    712.86     93.24      7.65   1000000         0
1122.45/1122.89	c       461       735    706.88    114.82      6.16   1000000         0
1124.04/1124.47	c       470       727    712.44    110.13      6.47   1000000         0
1125.64/1126.04	c       481       793    711.87    103.80      6.86   1000000         0
1127.24/1127.61	c       470       665    707.70    106.20      6.66   1000000         0
1128.74/1129.18	c       480       682    696.87    105.35      6.61   1000000         0
1130.35/1130.75	c       467       712    693.18    111.77      6.20   1000000         0
1131.94/1132.33	c       494       605    733.93    114.66      6.40   1000000         0
1133.54/1133.90	c       435       802    703.68    117.91      5.97   1000000         0
1135.04/1135.47	c       487       678    712.86    104.12      6.85   1000000         0
1136.64/1137.05	c       472       715    697.77     97.95      7.12   1000000         0
1138.24/1138.63	c       472       598    712.30    116.86      6.10   1000000         0
1139.84/1140.20	c       494       629    713.47    101.30      7.04   1000000         0
1141.35/1141.78	c       400       694    711.61    110.58      6.44   1000000         0
1142.94/1143.36	c       491       760    709.63    105.67      6.72   1000000         0
1144.54/1144.93	c       464       689    706.93    117.59      6.01   1000000         0
1146.14/1146.50	c       442       780    705.19    119.81      5.89   1000000         0
1147.64/1148.07	c       472       705    699.48    110.74      6.32   1000000         0
1149.24/1149.65	c       472       661    722.13    103.86      6.95   1000000         0
1150.84/1151.22	c       485       792    720.36    116.31      6.19   1000000         0
1152.34/1152.79	c       451       807    711.40    127.14      5.60   1000000         0
1153.93/1154.37	c       515       717    717.87     93.14      7.71   1000000         0
1155.53/1155.93	c       481       634    701.25    113.37      6.19   1000000         0
1157.13/1157.51	c       485       647    704.12     97.50      7.22   1000000         0
1158.63/1159.09	c       468       650    707.69    116.70      6.06   1000000         0
1160.23/1160.66	c       482       773    706.40    103.69      6.81   1000000         0
1161.83/1162.24	c       447       644    725.81    123.91      5.86   1000000         0
1163.34/1163.80	c       433       717    687.36     92.40      7.44   1000000         0
1164.93/1165.38	c       523       696    720.21     87.04      8.27   1000000         0
1166.53/1166.95	c       479       508    717.30     96.63      7.42   1000000         0
1168.13/1168.53	c       438       728    713.87    122.57      5.82   1000000         0
1169.73/1170.10	c       504       653    720.23    108.45      6.64   1000000         0
1171.23/1171.67	c       441       695    701.68    109.14      6.43   1000000         0
1172.83/1173.24	c       473       729    698.37     86.14      8.11   1000000         0
1174.44/1174.81	c       509       625    712.38     93.92      7.59   1000000         0
1175.92/1176.39	c       470       682    701.78    111.30      6.31   1000000         0
1177.52/1177.95	c       499       663    685.36     99.61      6.88   1000000         0
1179.12/1179.52	c       494       643    697.13    114.95      6.06   1000000         0
1180.62/1181.09	c       493       665    698.52     86.47      8.08   1000000         0
1182.22/1182.66	c       479       691    720.58    110.92      6.50   1000000         0
1183.82/1184.23	c       500       766    700.51     89.62      7.82   1000000         0
1185.43/1185.81	c       475       594    706.02     90.33      7.82   1000000         0
1186.92/1187.38	c       494       736    721.56    111.56      6.47   1000000         0
1188.52/1188.96	c       487       726    711.20    120.36      5.91   1000000         0
1190.12/1190.53	c       431       732    691.89    109.88      6.30   1000000         0
1191.72/1192.10	c       505       660    709.51    103.36      6.86   1000000         0
1193.22/1193.67	c       457       721    679.51    104.14      6.53   1000000         0
1194.82/1195.25	c       507       716    719.75    107.28      6.71   1000000         0
1196.42/1196.82	c       460       682    708.13    108.06      6.55   1000000         0
1197.92/1198.38	c       482       744    678.74    102.80      6.60   1000000         0
1199.52/1199.95	c       491       602    711.44    108.83      6.54   1000000         0
1201.12/1201.51	c       425       585    695.23     98.49      7.06   1000000         0
1202.61/1203.08	c       486       701    721.94    115.42      6.26   1000000         0
1204.21/1204.65	c       460       631    714.65    100.12      7.14   1000000         0
1205.81/1206.23	c       487       720    723.10    103.72      6.97   1000000         0
1207.32/1207.79	c       450       691    698.68    114.46      6.10   1000000         0
1208.91/1209.36	c       471       522    709.91    114.35      6.21   1000000         0
1210.51/1210.94	c       443       635    702.70    114.13      6.16   1000000         0
1212.11/1212.51	c       501       592    708.10    100.26      7.06   1000000         0
1213.61/1214.09	c       473       659    699.92    106.41      6.58   1000000         0
1215.21/1215.66	c       486       653    708.58     99.53      7.12   1000000         0
1216.81/1217.24	c       503       647    726.86    110.56      6.57   1000000         0
1218.42/1218.81	c       470       726    683.04     94.64      7.22   1000000         0
1219.91/1220.38	c       461       651    693.75    102.05      6.80   1000000         0
1221.51/1221.95	c       468       705    714.08    116.95      6.11   1000000         0
1223.11/1223.53	c       481       709    715.27    112.61      6.35   1000000         0
1224.61/1225.09	c       466       581    697.50    100.55      6.94   1000000         0
1226.21/1226.67	c       476       628    704.74    108.78      6.48   1000000         0
1227.81/1228.24	c       475       750    696.25    130.53      5.33   1000000         0
1229.41/1229.82	c       437       708    708.97    129.00      5.50   1000000         0
1230.91/1231.39	c       436       616    709.52    124.42      5.70   1000000         0
1232.51/1232.97	c       502       720    722.33    111.24      6.49   1000000         0
1234.11/1234.54	c       489       709    701.62     91.37      7.68   1000000         0
1235.71/1236.10	c       451       673    692.53    101.89      6.80   1000000         0
1237.20/1237.68	c       490       547    722.29    121.08      5.97   1000000         0
1238.80/1239.24	c       455       732    693.49    100.26      6.92   1000000         0
1240.41/1240.81	c       474       616    702.05    116.98      6.00   1000000         0
1241.90/1242.38	c       438       809    685.25    103.48      6.62   1000000         0
1243.50/1243.95	c       494       648    699.33     95.64      7.31   1000000         0
1245.10/1245.51	c       464       718    698.19    117.08      5.96   1000000         0
1246.61/1247.09	c       500       615    707.88     97.20      7.28   1000000         0
1248.21/1248.66	c       512       581    709.47    108.06      6.57   1000000         0
1249.81/1250.23	c       461       617    691.38     96.22      7.19   1000000         0
1251.32/1251.79	c       413       660    678.94     99.33      6.84   1000000         0
1252.91/1253.36	c       485       615    696.41     98.49      7.07   1000000         0
1254.51/1254.94	c       503       766    712.11    107.98      6.59   1000000         0
1256.11/1256.50	c       450       723    690.62    104.00      6.64   1000000         0
1257.61/1258.08	c       517       742    708.93     82.14      8.63   1000000         0
1259.21/1259.65	c       429       712    694.95    102.18      6.80   1000000         0
1260.81/1261.22	c       456       638    695.95    103.52      6.72   1000000         0
1262.31/1262.79	c       499       708    708.44     88.16      8.04   1000000         0
1263.91/1264.36	c       511       583    713.01     96.20      7.41   1000000         0
1265.51/1265.95	c       489       691    715.91    117.87      6.07   1000000         0
1267.11/1267.52	c       506       660    709.38    100.14      7.08   1000000         0
1268.71/1269.10	c       475       603    701.69    111.71      6.28   1000000         0
1270.20/1270.68	c       465       682    722.22    129.91      5.56   1000000         0
1271.80/1272.25	c       467       773    715.32    126.06      5.67   1000000         0
1273.41/1273.82	c       485       727    716.99    108.33      6.62   1000000         0
1274.90/1275.39	c       430       726    707.14    105.12      6.73   1000000         0
1276.50/1276.96	c       493       718    698.08    101.75      6.86   1000000         0
1278.10/1278.54	c       490       677    706.18    122.92      5.74   1000000         0
1279.70/1280.11	c       506       635    732.80    117.94      6.21   1000000         0
1281.20/1281.68	c       504       622    698.83     85.22      8.20   1000000         0
1282.80/1283.26	c       463       630    718.45     98.01      7.33   1000000         0
1284.41/1284.83	c       492       718    711.69     89.93      7.91   1000000         0
1286.00/1286.41	c       444       701    705.27    121.17      5.82   1000000         0
1287.50/1287.99	c       465       812    703.11     93.07      7.55   1000000         0
1289.10/1289.55	c       426       681    695.86     90.49      7.69   1000000         0
1290.70/1291.12	c       467       774    699.76     96.66      7.24   1000000         0
1292.20/1292.69	c       467       698    714.37    110.44      6.47   1000000         0
1293.80/1294.26	c       484       599    693.71     87.22      7.95   1000000         0
1295.41/1295.83	c       467       739    705.76    104.44      6.76   1000000         0
1296.99/1297.41	c       478       669    708.06     98.08      7.22   1000000         0
1298.49/1298.99	c       495       662    709.31    123.46      5.75   1000000         0
1300.09/1300.57	c       503       754    704.03    117.84      5.97   1000000         0
1301.69/1302.13	c       483       669    700.54    110.34      6.35   1000000         0
1303.29/1303.71	c       468       647    699.63    106.12      6.59   1000000         0
1304.79/1305.27	c       492       681    690.71    108.38      6.37   1000000         0
1306.40/1306.84	c       479       643    697.82     99.46      7.02   1000000         0
1307.99/1308.42	c       487       716    719.03    106.09      6.78   1000000         0
1309.49/1309.99	c       500       647    709.17    144.24      4.92   1000000         0
1311.09/1311.56	c       479       634    710.13    111.95      6.34   1000000         0
1312.69/1313.13	c       491       703    722.69    107.69      6.71   1000000         0
1314.29/1314.70	c       494       662    702.88     90.62      7.76   1000000         0
1315.79/1316.27	c       499       747    703.05    115.46      6.09   1000000         0
1317.40/1317.84	c       468       741    704.12    103.52      6.80   1000000         0
1318.99/1319.43	c       415       616    694.37     94.88      7.32   1000000         0
1320.60/1321.00	c       466       758    697.59    101.01      6.91   1000000         0
1322.09/1322.57	c       458       648    693.78    113.70      6.10   1000000         0
1323.69/1324.14	c       438       675    696.54    104.19      6.69   1000000         0
1325.29/1325.70	c       472       585    705.00    120.20      5.87   1000000         0
1326.79/1327.27	c       360       689    709.24    110.34      6.43   1000000         0
1328.40/1328.84	c       489       623    681.27     84.57      8.06   1000000         0
1329.99/1330.41	c       483       674    697.37    124.13      5.62   1000000         0
1331.49/1331.98	c       474       652    701.43    108.27      6.48   1000000         0
1333.09/1333.55	c       481       677    695.28    107.46      6.47   1000000         0
1334.69/1335.11	c       435       633    714.86    100.78      7.09   1000000         0
1336.18/1336.69	c       468       655    723.15    111.70      6.47   1000000         0
1337.78/1338.25	c       428       795    697.10     93.14      7.48   1000000         0
1339.39/1339.83	c       464       663    712.39    122.98      5.79   1000000         0
1340.98/1341.40	c       480       793    714.06    110.17      6.48   1000000         0
1342.48/1342.97	c       421       782    719.34    112.35      6.40   1000000         0
1344.08/1344.55	c       488       775    715.96    109.88      6.52   1000000         0
1345.68/1346.13	c       479       719    721.82    111.98      6.45   1000000         0
1347.28/1347.70	c       456       716    709.78    108.06      6.57   1000000         0
1348.78/1349.27	c       479       674    694.67    103.05      6.74   1000000         0
1350.39/1350.85	c       470       813    718.34    115.80      6.20   1000000         0
1351.98/1352.41	c       464       823    695.73     97.19      7.16   1000000         0
1353.48/1353.99	c       476       655    724.65    108.37      6.69   1000000         0
1355.08/1355.56	c       476       748    709.04    114.71      6.18   1000000         0
1356.68/1357.14	c       487       660    705.17    113.20      6.23   1000000         0
1358.28/1358.72	c       456       709    709.20    131.66      5.39   1000000         0
1359.78/1360.29	c       457       669    699.88    114.36      6.12   1000000         0
1361.39/1361.87	c       407       695    707.47    125.31      5.65   1000000         0
1362.98/1363.44	c       488       701    709.02    105.63      6.71   1000000         0
1364.58/1365.02	c       503       728    717.13    105.29      6.81   1000000         0
1366.08/1366.59	c       450       675    696.86    101.54      6.86   1000000         0
1367.68/1368.15	c       462       677    699.46    110.01      6.36   1000000         0
1369.28/1369.73	c       497       762    717.84    123.78      5.80   1000000         0
1370.88/1371.30	c       502       669    696.44    124.46      5.60   1000000         0
1372.38/1372.87	c       476       675    700.51    111.20      6.30   1000000         0
1373.97/1374.45	c       493       718    709.06    117.02      6.06   1000000         0
1375.58/1376.03	c       508       722    718.49    100.14      7.17   1000000         0
1377.17/1377.60	c       482       814    693.07     91.06      7.61   1000000         0
1378.67/1379.17	c       468       685    706.02    105.03      6.72   1000000         0
1380.27/1380.74	c       434       679    697.93    112.99      6.18   1000000         0
1381.87/1382.31	c       476       689    701.14    107.26      6.54   1000000         0
1383.38/1383.88	c       486       769    720.67    101.64      7.09   1000000         0
1384.97/1385.46	c       481       714    715.03    112.05      6.38   1000000         0
1386.58/1387.03	c       407       675    687.96    107.22      6.42   1000000         0
1388.17/1388.60	c       477       624    711.10     92.96      7.65   1000000         0
1389.67/1390.17	c       495       734    696.49    100.52      6.93   1000000         0
1391.27/1391.74	c       457       691    692.09     92.63      7.47   1000000         0
1392.87/1393.31	c       443       675    712.40    101.61      7.01   1000000         0
1394.38/1394.88	c       472       694    690.53    105.69      6.53   1000000         0
1395.97/1396.45	c       470       638    694.83    108.46      6.41   1000000         0
1397.57/1398.02	c       462       782    707.96    109.05      6.49   1000000         0
1399.06/1399.59	c       487       740    700.51    111.40      6.29   1000000         0
1400.66/1401.16	c       439       692    701.02     97.76      7.17   1000000         0
1402.26/1402.74	c       468       688    699.01    100.16      6.98   1000000         0
1403.86/1404.30	c       450       689    693.48     93.48      7.42   1000000         0
1405.37/1405.88	c       485       789    700.04     95.23      7.35   1000000         0
1406.96/1407.45	c       483       718    714.36    126.04      5.67   1000000         0
1408.57/1409.03	c       508       621    715.55     91.55      7.82   1000000         0
1410.06/1410.59	c       478       634    704.07    108.37      6.50   1000000         0
1411.66/1412.16	c       459       615    693.66    102.56      6.76   1000000         0
1413.26/1413.73	c       471       775    686.96    104.54      6.57   1000000         0
1414.76/1415.29	c       450       714    706.02    115.50      6.11   1000000         0
1416.37/1416.87	c       478       632    681.94    111.27      6.13   1000000         0
1417.96/1418.44	c       468       741    700.14    102.04      6.86   1000000         0
1419.56/1420.01	c       489       679    707.82     80.50      8.79   1000000         0
1421.06/1421.58	c       458       578    704.74    119.95      5.88   1000000         0
1422.66/1423.14	c       473       806    693.42    100.60      6.89   1000000         0
1424.26/1424.72	c       459       655    716.06    103.57      6.91   1000000         0
1425.76/1426.29	c       473       679    694.66     97.56      7.12   1000000         0
1427.36/1427.86	c       452       629    715.20    122.63      5.83   1000000         0
1428.95/1429.43	c       496       564    699.42    112.04      6.24   1000000         0
1430.56/1431.01	c       486       723    707.19    114.17      6.19   1000000         0
1432.05/1432.58	c       475       740    702.36    116.20      6.04   1000000         0
1433.65/1434.15	c       450       643    705.39    104.64      6.74   1000000         0
1435.25/1435.72	c       485       740    709.88     95.16      7.46   1000000         0
1436.85/1437.30	c       467       677    702.14    111.94      6.27   1000000         0
1438.36/1438.87	c       472       816    712.09    111.72      6.37   1000000         0
1439.95/1440.44	c       492       696    706.35    103.07      6.85   1000000         0
1441.56/1442.01	c       448       621    697.48    107.75      6.47   1000000         0
1443.05/1443.58	c       488       740    705.10     87.73      8.04   1000000         0
1444.65/1445.15	c       491       821    705.18     97.55      7.23   1000000         0
1446.25/1446.74	c       481       777    733.03    117.31      6.25   1000000         0
1447.85/1448.31	c       488       704    713.24    104.48      6.83   1000000         0
1449.36/1449.88	c       428       765    692.77    129.54      5.35   1000000         0
1450.95/1451.46	c       512       592    711.08    121.63      5.85   1000000         0
1452.56/1453.03	c       486       709    696.36     96.45      7.22   1000000         0
1454.15/1454.61	c       473       727    729.97     88.19      8.28   1000000         0
1455.65/1456.17	c       465       661    688.36    106.22      6.48   1000000         0
1457.25/1457.74	c       451       636    678.25     98.74      6.87   1000000         0
1458.85/1459.31	c       509       676    710.23     98.54      7.21   1000000         0
1460.35/1460.88	c       483       701    700.71    101.04      6.94   1000000         0
1461.95/1462.45	c       469       747    700.36    105.78      6.62   1000000         0
1463.55/1464.02	c       459       752    695.22    123.43      5.63   1000000         0
1465.05/1465.60	c       456       677    719.61    139.01      5.18   1000000         0
1466.64/1467.17	c       491       668    693.65    104.81      6.62   1000000         0
1468.24/1468.73	c       458       768    688.18     95.64      7.20   1000000         0
1469.84/1470.30	c       471       639    699.26    116.42      6.01   1000000         0
1471.35/1471.87	c       464       714    695.78    114.58      6.07   1000000         0
1472.94/1473.45	c       458       629    716.94    102.96      6.96   1000000         0
1474.55/1475.02	c       455       783    680.62    117.18      5.81   1000000         0
1476.04/1476.60	c       453       645    716.18    121.36      5.90   1000000         0
1477.64/1478.17	c       451       690    703.70     98.31      7.16   1000000         0
1479.24/1479.75	c       493       749    729.80     99.52      7.33   1000000         0
1480.84/1481.32	c       447       874    698.84    102.35      6.83   1000000         0
1482.35/1482.90	c       467       596    718.32    124.93      5.75   1000000         0
1483.94/1484.46	c       497       718    704.50    102.20      6.89   1000000         0
1485.55/1486.03	c       482       702    702.47    107.44      6.54   1000000         0
1487.14/1487.61	c       484       732    693.21    111.23      6.23   1000000         0
1488.64/1489.18	c       485       652    692.65    100.37      6.90   1000000         0
1490.24/1490.75	c       514       658    714.35    112.43      6.35   1000000         0
1491.84/1492.32	c       480       583    698.52     96.33      7.25   1000000         0
1493.34/1493.89	c       451       615    704.37    106.71      6.60   1000000         0
1494.94/1495.46	c       462       609    699.45     96.72      7.23   1000000         0
1496.54/1497.03	c       456       719    690.89    103.36      6.68   1000000         0
1498.14/1498.60	c       473       543    716.93    104.38      6.87   1000000         0
1499.64/1500.17	c       477       755    711.31    122.49      5.81   1000000         0
1501.23/1501.75	c       445       548    707.32    103.84      6.81   1000000         0
1502.83/1503.32	c       450       736    702.43     99.90      7.03   1000000         0
1504.34/1504.89	c       500       746    680.48     98.26      6.93   1000000         0
1505.93/1506.46	c       481       686    706.52    113.59      6.22   1000000         0
1507.54/1508.02	c       482       804    697.55     99.73      6.99   1000000         0
1509.03/1509.59	c       495       728    688.62    110.14      6.25   1000000         0
1510.63/1511.17	c       469       585    726.33    110.57      6.57   1000000         0
1512.23/1512.74	c       452       682    703.62    126.62      5.56   1000000         0
1513.83/1514.31	c       450       693    695.13    113.68      6.11   1000000         0
1515.34/1515.88	c       445       665    695.37     95.19      7.31   1000000         0
1516.93/1517.46	c       494       673    709.46    101.45      6.99   1000000         0
1518.54/1519.04	c       462       730    715.87    121.10      5.91   1000000         0
1520.13/1520.61	c       486       722    705.94     95.04      7.43   1000000         0
1521.63/1522.18	c       481       696    692.42    112.82      6.14   1000000         0
1523.23/1523.74	c       510       697    707.53     97.90      7.23   1000000         0
1524.83/1525.32	c       519       753    716.37    116.65      6.14   1000000         0
1526.43/1526.90	c       422       667    702.01    110.76      6.34   1000000         0
1527.93/1528.47	c       525       911    724.54     98.11      7.38   1000000         0
1529.53/1530.04	c       463       676    698.59     98.43      7.10   1000000         0
1531.13/1531.61	c       485       764    705.51    115.38      6.11   1000000         0
1532.63/1533.19	c       482       685    703.77    114.95      6.12   1000000         0
1534.22/1534.77	c       469       755    709.64     99.24      7.15   1000000         0
1535.82/1536.34	c       470       692    706.50    118.06      5.98   1000000         0
1537.42/1537.90	c       467       684    688.07    101.34      6.79   1000000         0
1538.92/1539.48	c       519       762    734.08    104.50      7.02   1000000         0
1540.53/1541.06	c       473       695    710.54     86.73      8.19   1000000         0
1542.12/1542.63	c       507       691    706.89    116.67      6.06   1000000         0
1543.72/1544.21	c       465       793    702.23     96.33      7.29   1000000         0
1545.22/1545.78	c       445       629    694.63    107.51      6.46   1000000         0
1546.82/1547.36	c       473       789    701.24     95.14      7.37   1000000         0
1548.42/1548.94	c       510       760    704.24    102.73      6.86   1000000         0
1550.02/1550.51	c       474       710    718.67    127.30      5.65   1000000         0
1551.53/1552.08	c       471       652    692.67     87.93      7.88   1000000         0
1553.12/1553.65	c       455       570    698.65    107.30      6.51   1000000         0
1554.72/1555.22	c       464       654    704.96    105.43      6.69   1000000         0
1556.22/1556.79	c       452       786    698.70    105.35      6.63   1000000         0
1557.82/1558.36	c       477       660    706.08    110.28      6.40   1000000         0
1559.42/1559.94	c       479       763    723.89    130.73      5.54   1000000         0
1561.02/1561.52	c       485       623    727.98    114.96      6.33   1000000         0
1562.52/1563.09	c       474       606    684.08     83.57      8.19   1000000         0
1564.12/1564.66	c       525       635    719.00    108.82      6.61   1000000         0
1565.72/1566.23	c       466       593    694.26    100.96      6.88   1000000         0
1567.32/1567.80	c       502       672    701.16    108.37      6.47   1000000         0
1568.81/1569.38	c       481       651    711.43    108.16      6.58   1000000         0
1570.41/1570.96	c       473       788    711.21     96.16      7.40   1000000         0
1572.01/1572.53	c       500       689    711.38    109.94      6.47   1000000         0
1573.62/1574.11	c       487       773    700.99    105.83      6.62   1000000         0
1575.11/1575.68	c       455       619    698.55     97.90      7.14   1000000         0
1576.71/1577.26	c       504       623    726.18     93.67      7.75   1000000         0
1578.31/1578.82	c       492       721    701.19     98.54      7.12   1000000         0
1579.91/1580.40	c       456       676    707.12    112.31      6.30   1000000         0
1581.41/1581.98	c       460       646    717.65    109.32      6.56   1000000         0
1583.01/1583.55	c       445       648    715.68    108.62      6.59   1000000         0
1584.62/1585.11	c       476       653    693.01    111.94      6.19   1000000         0
1586.11/1586.69	c       457       735    715.62    109.96      6.51   1000000         0
1587.71/1588.26	c       416       745    688.22    110.48      6.23   1000000         0
1589.31/1589.83	c       478       682    696.37    105.51      6.60   1000000         0
1590.91/1591.40	c       519       724    712.15     88.93      8.01   1000000         0
1592.41/1592.97	c       451       750    699.85    122.02      5.74   1000000         0
1594.01/1594.54	c       469       708    715.91    113.21      6.32   1000000         0
1595.61/1596.11	c       451       770    702.26    118.16      5.94   1000000         0
1597.11/1597.69	c       505       616    703.80    108.49      6.49   1000000         0
1598.71/1599.27	c       479       708    709.10    113.76      6.23   1000000         0
1600.31/1600.84	c       448       688    701.87    127.09      5.52   1000000         0
1601.91/1602.42	c       484       704    694.02    120.78      5.75   1000000         0
1603.40/1603.99	c       461       643    718.58    131.71      5.46   1000000         0
1605.00/1605.56	c       477       773    695.11    100.81      6.90   1000000         0
1606.61/1607.13	c       438       552    703.00    109.93      6.39   1000000         0
1608.20/1608.70	c       472       673    701.02    103.36      6.78   1000000         0
1609.70/1610.27	c       495       803    715.52    101.71      7.04   1000000         0
1611.30/1611.84	c       483       752    686.91     86.71      7.92   1000000         0
1612.90/1613.41	c       479       692    692.22    105.05      6.59   1000000         0
1614.40/1614.99	c       479       675    715.76    103.81      6.89   1000000         0
1616.00/1616.56	c       499       635    712.60    116.74      6.10   1000000         0
1617.61/1618.13	c       482       642    700.39    103.44      6.77   1000000         0
1619.20/1619.71	c       495       626    714.59    105.24      6.79   1000000         0
1620.70/1621.28	c       446       753    708.51     87.63      8.09   1000000         0
1622.30/1622.85	c       503       768    708.90     97.04      7.31   1000000         0
1623.90/1624.42	c       486       706    705.35     99.72      7.07   1000000         0
1625.40/1625.99	c       502       793    692.00    112.01      6.18   1000000         0
1627.00/1627.56	c       494       645    699.54     98.30      7.12   1000000         0
1628.60/1629.14	c       471       707    702.71    104.94      6.70   1000000         0
1630.19/1630.71	c       514       571    712.34    103.61      6.88   1000000         0
1631.69/1632.29	c       502       673    727.06    127.08      5.72   1000000         0
1633.29/1633.86	c       461       596    692.09    107.44      6.44   1000000         0
1634.89/1635.42	c       451       813    692.20    105.96      6.53   1000000         0
1636.49/1637.01	c       407       783    722.54    111.73      6.47   1000000         0
1637.99/1638.58	c       470       611    710.00     91.73      7.74   1000000         0
1639.60/1640.15	c       461       586    696.36     81.16      8.58   1000000         0
1641.19/1641.72	c       486       764    702.18     94.03      7.47   1000000         0
1642.69/1643.29	c       460       745    701.27     99.03      7.08   1000000         0
1644.29/1644.86	c       470       640    693.46    107.35      6.46   1000000         0
1645.89/1646.43	c       498       812    714.36     97.94      7.29   1000000         0
1647.49/1648.00	c       491       703    703.64    104.21      6.75   1000000         0
1648.99/1649.57	c       501       689    706.85     94.88      7.45   1000000         0
1650.60/1651.14	c       481       675    699.11     96.31      7.26   1000000         0
1652.19/1652.71	c       467       612    697.06    110.02      6.34   1000000         0
1653.69/1654.28	c       490       731    701.73     97.13      7.22   1000000         0
1655.29/1655.85	c       499       673    693.18     95.81      7.24   1000000         0
1656.89/1657.43	c       459       761    719.10    123.13      5.84   1000000         0
1658.49/1659.01	c       495       640    733.17    122.21      6.00   1000000         0
1659.99/1660.58	c       489       642    704.13    108.19      6.51   1000000         0
1661.59/1662.15	c       461       650    696.85    113.59      6.13   1000000         0
1663.18/1663.71	c       494       696    697.52    105.31      6.62   1000000         0
1664.68/1665.29	c       497       693    711.10    107.18      6.63   1000000         0
1666.28/1666.86	c       485       619    706.61    103.77      6.81   1000000         0
1667.88/1668.43	c       500       800    716.25    119.98      5.97   1000000         0
1669.48/1670.00	c       482       593    704.83     94.02      7.50   1000000         0
1670.98/1671.57	c       504       729    715.67    132.95      5.38   1000000         0
1672.59/1673.14	c       460       620    709.25    102.74      6.90   1000000         0
1674.18/1674.71	c       493       762    709.58    101.48      6.99   1000000         0
1675.68/1676.29	c       455       646    711.95    105.04      6.78   1000000         0
1677.28/1677.86	c       492       627    705.20    105.38      6.69   1000000         0
1678.88/1679.43	c       444       716    703.92    106.43      6.61   1000000         0
1680.48/1681.01	c       441       571    702.86    128.14      5.49   1000000         0
1681.98/1682.59	c       499       787    701.56     92.77      7.56   1000000         0
1683.59/1684.16	c       478       664    721.17    109.22      6.60   1000000         0
1685.18/1685.73	c       425       750    687.96    108.77      6.32   1000000         0
1686.79/1687.30	c       433       775    700.71    110.12      6.36   1000000         0
1688.28/1688.87	c       449       674    688.08    105.13      6.54   1000000         0
1689.88/1690.43	c       444       756    688.41     93.30      7.38   1000000         0
1691.48/1692.01	c       492       771    714.90    116.61      6.13   1000000         0
1692.98/1693.59	c       499       602    711.91    103.23      6.90   1000000         0
1694.58/1695.17	c       488       857    702.92    123.11      5.71   1000000         0
1696.18/1696.74	c       496       717    704.86    107.18      6.58   1000000         0
1697.78/1698.32	c       449       781    707.95    108.86      6.50   1000000         0
1699.27/1699.88	c       472       592    691.33     85.47      8.09   1000000         0
1700.87/1701.45	c       490       576    692.64     89.68      7.72   1000000         0
1702.47/1703.02	c       452       638    703.98    109.86      6.41   1000000         0
1703.97/1704.59	c       442       727    706.72    107.48      6.58   1000000         0
1705.58/1706.16	c       461       790    700.04     85.52      8.19   1000000         0
1707.17/1707.73	c       458       645    701.38    103.13      6.80   1000000         0
1708.78/1709.30	c       520       673    721.75    118.25      6.10   1000000         0
1710.27/1710.88	c       507       627    705.74    115.79      6.09   1000000         0
1711.87/1712.45	c       454       605    689.80     97.46      7.08   1000000         0
1713.47/1714.02	c       491       768    710.16     97.74      7.27   1000000         0
1714.97/1715.58	c       477       635    697.62     89.98      7.75   1000000         0
1716.58/1717.16	c       444       751    702.74    102.32      6.87   1000000         0
1718.17/1718.73	c       498       620    707.26     88.56      7.99   1000000         0
1719.78/1720.30	c       444       660    690.79    117.20      5.89   1000000         0
1721.27/1721.87	c       453       679    708.22    114.71      6.17   1000000         0
1722.87/1723.45	c       424       843    708.26    127.00      5.58   1000000         0
1724.47/1725.01	c       454       677    685.74    102.05      6.72   1000000         0
1725.97/1726.60	c       474       673    713.86    116.68      6.12   1000000         0
1727.58/1728.17	c       477       659    701.13     99.62      7.04   1000000         0
1729.17/1729.75	c       504       699    713.80     97.72      7.30   1000000         0
1730.77/1731.32	c       499       625    707.07    124.88      5.66   1000000         0
1732.27/1732.89	c       454       689    708.59    107.79      6.57   1000000         0
1733.87/1734.46	c       457       752    711.26     95.58      7.44   1000000         0
1735.47/1736.03	c       465       642    686.44     99.30      6.91   1000000         0
1737.06/1737.61	c       518       716    717.92     98.59      7.28   1000000         0
1738.57/1739.17	c       493       632    693.19     96.52      7.18   1000000         0
1740.16/1740.75	c       495       587    723.75    114.55      6.32   1000000         0
1741.77/1742.34	c       520       777    725.69    100.39      7.23   1000000         0
1743.36/1743.91	c       470       782    707.17    106.55      6.64   1000000         0
1744.86/1745.49	c       472       613    699.91    113.81      6.15   1000000         0
1746.46/1747.05	c       438       902    694.30    102.90      6.75   1000000         0
1748.06/1748.62	c       482       663    696.57    107.24      6.50   1000000         0
1749.57/1750.19	c       453       660    708.85     96.48      7.35   1000000         0
1751.16/1751.76	c       491       767    707.16    101.58      6.96   1000000         0
1752.77/1753.34	c       468       605    706.29    117.18      6.03   1000000         0
1754.36/1754.91	c       499       717    699.12     96.97      7.21   1000000         0
1755.86/1756.49	c       482       630    712.36    123.30      5.78   1000000         0
1757.46/1758.06	c       459       658    719.15    111.16      6.47   1000000         0
1759.06/1759.65	c       474       644    704.63    120.36      5.85   1000000         0
1760.66/1761.22	c       454       734    690.77    100.19      6.89   1000000         0
1762.16/1762.79	c       456       717    704.05    102.80      6.85   1000000         0
1763.76/1764.37	c       496       711    710.86    109.78      6.48   1000000         0
1765.36/1765.94	c       470       735    695.17    102.28      6.80   1000000         0
1766.95/1767.50	c       483       663    692.93    102.82      6.74   1000000         0
1768.45/1769.06	c       473       653    691.54    104.96      6.59   1000000         0
1770.05/1770.64	c       430       598    703.65    123.68      5.69   1000000         0
1771.65/1772.21	c       464       605    716.72    110.01      6.52   1000000         0
1773.15/1773.79	c       499       580    710.71    108.61      6.54   1000000         0
1774.76/1775.36	c       489       845    698.98    100.82      6.93   1000000         0
1776.35/1776.94	c       453       800    713.99    117.18      6.09   1000000         0
1777.95/1778.52	c       487       663    723.05    112.96      6.40   1000000         0
1779.45/1780.09	c       473       704    713.53    109.12      6.54   1000000         0
1781.05/1781.67	c       482       550    702.92    102.85      6.83   1000000         0
1782.65/1783.24	c       468       729    703.79    102.59      6.86   1000000         0
1784.25/1784.81	c       480       712    712.20    119.00      5.99   1000000         0
1785.75/1786.38	c       468       814    691.12     99.45      6.95   1000000         0
1787.35/1787.96	c       467       718    705.72     99.32      7.11   1000000         0
1788.95/1789.53	c       519       603    709.23     94.22      7.53   1000000         0
1790.55/1791.10	c       493       565    720.27    110.85      6.50   1000000         0
1792.05/1792.68	c       483       674    713.73    114.75      6.22   1000000         0
1793.65/1794.25	c       451       639    702.40    104.92      6.69   1000000         0
1795.25/1795.83	c       477       689    713.61    112.51      6.34   1000000         0
1796.75/1797.40	c       490       559    720.97    107.00      6.74   1000000         0
1798.35/1798.97	c       433       680    699.93    104.99      6.67   1000000         0
1799.94/1800.54	c       490       612    709.06    103.29      6.86   1000000         0
1800.06/1800.61	HOME/run: line 2: 19764 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-2685154-1278439873/watcher-2685154-1278439873 -o /tmp/evaluation-result-2685154-1278439873/solver-2685154-1278439873 -C 1800 -W 2000 -M 1800 run HOME/instance-2685154-1278439873.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: 0.98 0.98 0.99 3/106 19763
/proc/meminfo: memFree=1850856/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) R 19761 19763 17871 0 -1 4202496 342 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567818133 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0

[startup+0.072614 s]
/proc/loadavg: 0.98 0.98 0.99 3/106 19763
/proc/meminfo: memFree=1850856/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101616 s]
/proc/loadavg: 0.98 0.98 0.99 3/106 19763
/proc/meminfo: memFree=1850856/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301633 s]
/proc/loadavg: 0.98 0.98 0.99 3/106 19763
/proc/meminfo: memFree=1850856/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701672 s]
/proc/loadavg: 0.98 0.98 0.99 3/106 19763
/proc/meminfo: memFree=1850856/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50175 s]
/proc/loadavg: 0.98 0.98 0.99 2/108 19765
/proc/meminfo: memFree=1845012/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1.49
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1488 0 0 0 149 0 0 0 25 0 1 0 12199601 41422848 1418 1992294400 134512640 135071400 4293930144 18446744073709551615 134526935 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1418 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.1019 s]
/proc/loadavg: 1.06 1.00 0.99 2/108 19765
/proc/meminfo: memFree=1844888/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=3.09
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1496 0 0 0 309 0 0 0 25 0 1 0 12199601 41422848 1426 1992294400 134512640 135071400 4293930144 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1426 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30121 s]
/proc/loadavg: 1.06 1.00 0.99 2/108 19765
/proc/meminfo: memFree=1844764/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=6.29
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1496 0 0 0 629 0 0 0 25 0 1 0 12199601 41422848 1426 1992294400 134512640 135071400 4293930144 18446744073709551615 134537022 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1426 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7008 s]
/proc/loadavg: 1.05 1.00 0.99 2/108 19766
/proc/meminfo: memFree=1844764/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=12.69
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1496 0 0 0 1269 0 0 0 25 0 1 0 12199601 41422848 1426 1992294400 134512640 135071400 4293930144 18446744073709551615 134519837 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1426 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.501 s]
/proc/loadavg: 1.05 1.00 0.99 2/108 19766
/proc/meminfo: memFree=1844764/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=25.48
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1496 0 0 0 2548 0 0 0 25 0 1 0 12199601 41422848 1426 1992294400 134512640 135071400 4293930144 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1426 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1015 s]
/proc/loadavg: 1.03 1.00 0.99 2/108 19766
/proc/meminfo: memFree=1844764/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=51.07
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1496 0 0 0 5107 0 0 0 25 0 1 0 12199601 41422848 1426 1992294400 134512640 135071400 4293930144 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1426 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.01 1.00 0.99 2/108 19768
/proc/meminfo: memFree=1844640/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=102.26
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1496 0 0 0 10226 0 0 0 25 0 1 0 12199601 41422848 1426 1992294400 134512640 135071400 4293930144 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1426 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 19770
/proc/meminfo: memFree=1844516/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=162.24
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 16224 0 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 19771
/proc/meminfo: memFree=1844516/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=222.22
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 22222 0 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 19772
/proc/meminfo: memFree=1844516/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=282.2
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 28220 0 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 19774
/proc/meminfo: memFree=1844392/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=342.18
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 34218 0 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 19776
/proc/meminfo: memFree=1844392/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=402.17
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 40216 1 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134571267 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

[pid=19764] ppid=19763 vsize=40452 CPUtime=1061.96
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 106194 2 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526633 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19798
/proc/meminfo: memFree=1798440/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1121.95
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 112193 2 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19799
/proc/meminfo: memFree=1798192/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1181.92
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 118190 2 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19801
/proc/meminfo: memFree=1797944/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1241.9
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 124188 2 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19803
/proc/meminfo: memFree=1797820/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1301.9
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 130187 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19805
/proc/meminfo: memFree=1797696/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1361.88
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 136185 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19806
/proc/meminfo: memFree=1797696/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1421.86
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 142183 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134519762 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 19807
/proc/meminfo: memFree=1797696/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1481.84
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 148181 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134525704 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/108 19809
/proc/meminfo: memFree=1797696/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1541.82
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 154179 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19811
/proc/meminfo: memFree=1797448/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1601.81
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 160178 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19813
/proc/meminfo: memFree=1797324/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1661.79
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 166176 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19814
/proc/meminfo: memFree=1797200/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1721.77
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 172174 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19815
/proc/meminfo: memFree=1796828/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1781.75
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 178172 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19816
/proc/meminfo: memFree=1796828/2059040 swapFree=4164912/4192956
[pid=19763] ppid=19761 vsize=8700 CPUtime=0
/proc/19763/stat : 19763 (run) S 19761 19763 17871 0 -1 4202496 358 0 0 0 0 0 0 0 22 0 1 0 12199600 8908800 243 1992294400 4194304 4922060 140736743403856 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19763/statm: 2175 243 204 178 0 68 0
[pid=19764] ppid=19763 vsize=40452 CPUtime=1800.06
/proc/19764/stat : 19764 (PB-wave) R 19763 19763 17871 0 -1 4202496 1497 0 0 0 180003 3 0 0 25 0 1 0 12199601 41422848 1427 1992294400 134512640 135071400 4293930144 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19764/statm: 10113 1427 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.040993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 13282

runsolver used 3.10053 second user time and 8.46371 second system time

The end

Launcher Data 

Begin job on node018 at 2010-07-06 20:11:13
IDJOB=2685154
IDBENCH=74740
IDSOLVER=1171
FILE ID=node018/2685154-1278439873
PBS_JOBID= 11233454
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= 74e9d107dc7010fbcbd693cbc0a5fa15
RANDOM SEED=1145485532

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1851384 kB
Buffers:          2108 kB
Cached:          95812 kB
SwapCached:       4448 kB
Active:          10048 kB
Inactive:       124696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1851384 kB
SwapTotal:     4192956 kB
SwapFree:      4164912 kB
Dirty:            2120 kB
Writeback:           0 kB
AnonPages:       32324 kB
Mapped:          13196 kB
Slab:            50736 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180816 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= 62520 MiB
End job on node018 at 2010-07-06 20:41:14