Trace number 2685252

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9014_1-unsat.opb
MD5SUM55b8067ae8df952812934475200b69c4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.25296
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16198
Total number of constraints50975
Number of constraints which are clauses50623
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints352
Minimum length of a constraint1
Maximum length of a constraint90
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 51
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 588
Number of bits of the biggest sum of numbers10
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.15	c PB-wave - v2
0.00/0.15	c command line = ./PB-wave
0.00/0.15	c seed = 37925943
0.00/0.15	c cutoff = 1000000
0.00/0.15	c tries = 1000000
0.00/0.15	c heuristic = c best, noise 50 / 100
0.00/0.15	#var 16198 #con 50975
0.00/0.15	mode is SAT
0.00/0.15	c tail starts after flip = 48594
0.00/0.15	c numatom = 16198, numclause = 50975, numliterals = 139988
0.00/0.15	c wff read in
0.00/0.15	c 
0.00/0.15	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.15	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.15	c       this      this      this      this      this      this   success   success       until         std
0.00/0.15	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.15	c
1.78/1.87	c       441       648    671.57     85.08      7.89   1000000         0
3.58/3.61	c       478       638    713.22    107.25      6.65   1000000         0
5.28/5.35	c       499       611    707.73     93.21      7.59   1000000         0
6.98/7.08	c       488       617    700.53     82.51      8.49   1000000         0
8.79/8.81	c       478       735    703.77     89.51      7.86   1000000         0
10.48/10.55	c       462       622    698.72     94.54      7.39   1000000         0
12.18/12.28	c       464       547    702.73    101.13      6.95   1000000         0
13.98/14.01	c       469       736    691.49    108.26      6.39   1000000         0
15.68/15.75	c       493       707    711.81     83.32      8.54   1000000         0
17.38/17.47	c       484       755    688.21    100.42      6.85   1000000         0
19.18/19.21	c       439       706    707.84    122.77      5.77   1000000         0
20.88/20.94	c       467       664    686.25    101.49      6.76   1000000         0
22.58/22.68	c       470       778    696.31    110.94      6.28   1000000         0
24.38/24.41	c       489       720    693.83    107.01      6.48   1000000         0
26.08/26.14	c       465       690    692.38     97.23      7.12   1000000         0
27.78/27.88	c       458       713    701.62    107.77      6.51   1000000         0
29.58/29.62	c       451       696    706.61    123.90      5.70   1000000         0
31.28/31.35	c       461       647    718.54     84.49      8.50   1000000         0
32.98/33.08	c       476       631    700.85    101.35      6.92   1000000         0
34.77/34.82	c       468       747    704.20     87.87      8.01   1000000         0
36.47/36.55	c       465       560    685.01    103.72      6.60   1000000         0
38.17/38.29	c       487       630    695.85    102.45      6.79   1000000         0
39.97/40.01	c       474       746    689.94     86.91      7.94   1000000         0
41.68/41.74	c       455       712    681.38    115.76      5.89   1000000         0
43.37/43.46	c       451       759    678.34    101.36      6.69   1000000         0
45.08/45.19	c       461       684    685.69    112.56      6.09   1000000         0
46.87/46.92	c       480       620    690.96    102.72      6.73   1000000         0
48.57/48.66	c       472       676    694.27     91.26      7.61   1000000         0
50.27/50.39	c       455       649    697.51     99.52      7.01   1000000         0
52.07/52.12	c       440       820    701.43     93.40      7.51   1000000         0
53.78/53.85	c       449       697    690.97    100.12      6.90   1000000         0
55.47/55.58	c       459       674    690.66    103.21      6.69   1000000         0
57.27/57.31	c       456       757    691.74    107.62      6.43   1000000         0
58.97/59.05	c       430       571    702.07    111.36      6.30   1000000         0
60.67/60.78	c       490       731    706.95     90.95      7.77   1000000         0
62.47/62.52	c       447       651    698.00    107.60      6.49   1000000         0
64.17/64.24	c       416       604    668.74     92.32      7.24   1000000         0
65.87/65.97	c       457       695    688.99    102.45      6.72   1000000         0
67.67/67.70	c       459       660    703.56     95.38      7.38   1000000         0
69.37/69.44	c       514       673    710.37     89.84      7.91   1000000         0
71.07/71.17	c       455       614    697.34    100.73      6.92   1000000         0
72.77/72.89	c       447       694    688.83     97.37      7.07   1000000         0
74.57/74.62	c       434       716    688.31     97.77      7.04   1000000         0
76.27/76.35	c       441       665    685.80    104.18      6.58   1000000         0
77.97/78.08	c       460       660    697.66     95.54      7.30   1000000         0
79.76/79.81	c       470       743    690.83     95.32      7.25   1000000         0
81.46/81.54	c       494       685    712.18     92.53      7.70   1000000         0
83.16/83.29	c       451       642    699.46     91.79      7.62   1000000         0
84.96/85.01	c       481       761    686.45    111.64      6.15   1000000         0
86.66/86.73	c       467       658    679.18     90.86      7.47   1000000         0
88.36/88.46	c       464       720    694.30    105.93      6.55   1000000         0
90.07/90.19	c       517       665    696.64    110.78      6.29   1000000         0
91.86/91.92	c       402       704    692.81    106.64      6.50   1000000         0
93.56/93.65	c       462       749    680.79     83.61      8.14   1000000         0
95.26/95.37	c       478       694    704.98     96.50      7.31   1000000         0
96.96/97.09	c       506       802    694.31    102.89      6.75   1000000         0
98.76/98.83	c       487       738    710.79    101.94      6.97   1000000         0
100.46/100.56	c       395       782    685.64    108.83      6.30   1000000         0
102.17/102.28	c       443       696    694.00    101.90      6.81   1000000         0
103.86/103.99	c       450       644    683.27    113.73      6.01   1000000         0
105.66/105.72	c       481       630    699.60     90.74      7.71   1000000         0
107.36/107.44	c       474       741    702.10     78.77      8.91   1000000         0
109.06/109.17	c       488       766    701.09     88.95      7.88   1000000         0
110.86/110.91	c       435       754    706.13    128.05      5.51   1000000         0
112.56/112.63	c       383       600    686.01    106.74      6.43   1000000         0
114.26/114.36	c       476       517    689.79     81.49      8.46   1000000         0
116.06/116.10	c       416       784    690.27    106.19      6.50   1000000         0
117.76/117.84	c       482       717    714.76     97.61      7.32   1000000         0
119.45/119.56	c       424       722    689.17    108.23      6.37   1000000         0
121.25/121.30	c       444       626    687.39    102.57      6.70   1000000         0
122.95/123.03	c       453       625    696.07     87.24      7.98   1000000         0
124.65/124.76	c       464       662    715.05     97.96      7.30   1000000         0
126.36/126.49	c       488       737    700.30    102.80      6.81   1000000         0
128.15/128.22	c       491       595    701.80     99.17      7.08   1000000         0
129.85/129.95	c       472       697    694.30    101.04      6.87   1000000         0
131.55/131.67	c       385       670    669.53    105.10      6.37   1000000         0
133.35/133.40	c       460       853    687.01     91.73      7.49   1000000         0
135.05/135.13	c       504       757    700.55     97.64      7.17   1000000         0
136.75/136.86	c       455       573    692.59    103.81      6.67   1000000         0
138.56/138.61	c       492       763    710.17     98.23      7.23   1000000         0
140.25/140.34	c       482       556    694.80     93.87      7.40   1000000         0
141.95/142.08	c       464       607    691.17     93.55      7.39   1000000         0
143.75/143.81	c       488       627    718.88     96.26      7.47   1000000         0
145.45/145.55	c       469       589    697.72    115.85      6.02   1000000         0
147.15/147.27	c       474       636    692.76     85.95      8.06   1000000         0
148.95/149.01	c       452       738    698.52     90.88      7.69   1000000         0
150.66/150.73	c       468       774    688.06     86.72      7.93   1000000         0
152.35/152.46	c       479       592    707.45     93.91      7.53   1000000         0
154.15/154.20	c       441       730    689.21     98.04      7.03   1000000         0
155.85/155.92	c       459       658    671.86     80.26      8.37   1000000         0
157.55/157.65	c       448       716    685.43     96.14      7.13   1000000         0
159.25/159.38	c       457       723    689.62     91.08      7.57   1000000         0
161.05/161.11	c       494       595    691.13     95.84      7.21   1000000         0
162.75/162.84	c       423       718    705.32    100.01      7.05   1000000         0
164.44/164.57	c       468       805    690.31     84.43      8.18   1000000         0
166.14/166.29	c       449       692    674.10    103.12      6.54   1000000         0
167.94/168.01	c       450       584    679.29     92.82      7.32   1000000         0
169.64/169.72	c       467       678    679.10    115.06      5.90   1000000         0
171.34/171.46	c       485       513    704.44     98.06      7.18   1000000         0
173.04/173.19	c       442       891    694.38     84.82      8.19   1000000         0
174.85/174.92	c       482       642    696.08     89.90      7.74   1000000         0
176.54/176.65	c       467       703    683.04    105.89      6.45   1000000         0
178.24/178.38	c       449       708    698.02    103.51      6.74   1000000         0
180.04/180.11	c       503       659    692.07    101.40      6.82   1000000         0
181.74/181.84	c       475       761    683.22    108.19      6.32   1000000         0
183.44/183.59	c       509       756    718.49     88.84      8.09   1000000         0
185.24/185.31	c       473       658    690.86     92.83      7.44   1000000         0
186.95/187.03	c       459       739    676.16     96.91      6.98   1000000         0
188.64/188.76	c       503       724    701.43    113.61      6.17   1000000         0
190.34/190.49	c       476       694    703.13    102.84      6.84   1000000         0
192.14/192.21	c       475       655    686.13     96.80      7.09   1000000         0
193.84/193.94	c       525       808    708.32     90.53      7.82   1000000         0
195.54/195.66	c       487       697    685.49     97.74      7.01   1000000         0
197.24/197.39	c       455       679    696.60     99.07      7.03   1000000         0
199.04/199.12	c       438       673    698.08     98.48      7.09   1000000         0
200.74/200.83	c       475       737    693.65     86.75      8.00   1000000         0
202.44/202.55	c       472       636    697.80     94.28      7.40   1000000         0
204.13/204.28	c       476       748    683.81     98.73      6.93   1000000         0
205.93/206.02	c       460       662    698.02     94.99      7.35   1000000         0
207.63/207.75	c       480       736    695.59     91.60      7.59   1000000         0
209.33/209.47	c       465       701    695.74    117.47      5.92   1000000         0
211.04/211.19	c       451       636    693.22     97.48      7.11   1000000         0
212.83/212.92	c       496       620    689.98    105.09      6.57   1000000         0
214.53/214.65	c       470       632    695.77    100.49      6.92   1000000         0
216.23/216.39	c       447       628    686.37     98.77      6.95   1000000         0
218.03/218.11	c       408       628    679.42     95.54      7.11   1000000         0
219.73/219.83	c       497       600    690.73     86.41      7.99   1000000         0
221.43/221.56	c       474       790    692.90    109.12      6.35   1000000         0
223.14/223.29	c       471       672    703.23     98.27      7.16   1000000         0
224.93/225.01	c       447       627    683.25    103.48      6.60   1000000         0
226.63/226.76	c       420       655    706.83    102.54      6.89   1000000         0
228.33/228.48	c       461       685    685.99     88.42      7.76   1000000         0
230.13/230.22	c       432       731    715.26    107.20      6.67   1000000         0
231.83/231.94	c       471       725    680.00     99.73      6.82   1000000         0
233.53/233.67	c       480       789    695.21    115.20      6.03   1000000         0
235.23/235.40	c       501       608    697.10     89.72      7.77   1000000         0
237.03/237.12	c       466       638    681.18    104.79      6.50   1000000         0
238.73/238.85	c       475       640    698.41    113.04      6.18   1000000         0
240.43/240.59	c       423       721    703.63    109.78      6.41   1000000         0
242.23/242.31	c       477       639    686.84    111.88      6.14   1000000         0
243.93/244.03	c       462       629    687.60     99.44      6.91   1000000         0
245.63/245.76	c       449       630    677.37     99.78      6.79   1000000         0
247.33/247.49	c       488       797    698.93    100.99      6.92   1000000         0
249.12/249.23	c       442       686    708.46     86.84      8.16   1000000         0
250.82/250.95	c       457       709    687.53    106.50      6.46   1000000         0
252.52/252.68	c       443       654    707.79    101.74      6.96   1000000         0
254.32/254.40	c       435       703    667.54     98.34      6.79   1000000         0
256.02/256.14	c       459       690    699.97     92.65      7.55   1000000         0
257.72/257.85	c       436       619    668.34    103.64      6.45   1000000         0
259.43/259.58	c       496       660    700.76     79.63      8.80   1000000         0
261.22/261.31	c       457       678    677.73     94.97      7.14   1000000         0
262.92/263.03	c       489       638    700.91    100.87      6.95   1000000         0
264.62/264.76	c       437       582    689.53    104.24      6.61   1000000         0
266.32/266.48	c       462       767    685.31    101.04      6.78   1000000         0
268.12/268.21	c       450       681    686.74    111.67      6.15   1000000         0
269.82/269.94	c       397       708    704.74     88.75      7.94   1000000         0
271.53/271.67	c       431       699    693.57    107.89      6.43   1000000         0
273.32/273.40	c       449       720    706.71    113.68      6.22   1000000         0
275.02/275.13	c       466       547    702.12    124.62      5.63   1000000         0
276.72/276.86	c       462       646    689.58     92.13      7.48   1000000         0
278.42/278.59	c       417       654    681.31    103.93      6.56   1000000         0
280.22/280.32	c       482       687    699.70     95.55      7.32   1000000         0
281.91/282.04	c       444       660    683.88     96.90      7.06   1000000         0
283.62/283.78	c       471       693    688.70     98.67      6.98   1000000         0
285.41/285.51	c       461       620    687.54    110.59      6.22   1000000         0
287.11/287.23	c       435       612    681.45    103.59      6.58   1000000         0
288.81/288.94	c       472       729    687.98     90.24      7.62   1000000         0
290.51/290.68	c       455       680    712.61     98.96      7.20   1000000         0
292.31/292.41	c       461       668    694.78    110.62      6.28   1000000         0
294.01/294.15	c       467       778    700.34     96.10      7.29   1000000         0
295.72/295.87	c       450       660    690.60     86.36      8.00   1000000         0
297.41/297.59	c       482       682    681.90    101.75      6.70   1000000         0
299.21/299.33	c       463       745    702.92    108.78      6.46   1000000         0
300.91/301.05	c       474       760    695.71     93.09      7.47   1000000         0
302.61/302.79	c       466       672    687.35     86.76      7.92   1000000         0
304.41/304.52	c       449       577    694.40     97.18      7.15   1000000         0
306.11/306.25	c       460       770    712.79    104.14      6.84   1000000         0
307.82/307.98	c       461       645    689.73     93.71      7.36   1000000         0
309.61/309.71	c       443       629    692.78     98.27      7.05   1000000         0
311.31/311.44	c       461       800    689.36    105.74      6.52   1000000         0
313.01/313.17	c       449       686    691.86     93.09      7.43   1000000         0
314.71/314.89	c       494       693    698.07     97.70      7.15   1000000         0
316.51/316.62	c       455       684    694.18     89.97      7.72   1000000         0
318.21/318.34	c       459       521    686.20     91.27      7.52   1000000         0
319.91/320.07	c       477       571    689.48     96.51      7.14   1000000         0
321.61/321.80	c       413       808    682.86     96.57      7.07   1000000         0
323.41/323.54	c       497       675    734.46    104.36      7.04   1000000         0
325.10/325.27	c       480       695    690.29    107.13      6.44   1000000         0
326.90/327.00	c       472       839    701.96     94.74      7.41   1000000         0
328.60/328.73	c       444       691    678.99    106.51      6.37   1000000         0
330.30/330.46	c       471       664    690.91     93.13      7.42   1000000         0
332.01/332.19	c       471       565    688.16     97.88      7.03   1000000         0
333.80/333.92	c       422       598    694.16    103.28      6.72   1000000         0
335.50/335.64	c       467       736    699.32     99.77      7.01   1000000         0
337.20/337.38	c       452       637    685.52    115.96      5.91   1000000         0
339.00/339.11	c       481       608    688.82     95.33      7.23   1000000         0
340.70/340.84	c       418       593    699.58    118.54      5.90   1000000         0
342.40/342.56	c       478       670    691.82    109.81      6.30   1000000         0
344.11/344.29	c       457       797    702.82     96.37      7.29   1000000         0
345.90/346.03	c       478       726    693.94     89.17      7.78   1000000         0
347.60/347.76	c       473       624    705.56    104.99      6.72   1000000         0
349.30/349.48	c       471       708    695.45    103.92      6.69   1000000         0
351.10/351.22	c       474       734    685.43     99.08      6.92   1000000         0
352.80/352.95	c       448       769    712.85    128.86      5.53   1000000         0
354.50/354.69	c       480       510    703.71     91.39      7.70   1000000         0
356.30/356.41	c       425       685    687.13     96.92      7.09   1000000         0
358.00/358.15	c       527       772    701.65     81.66      8.59   1000000         0
359.70/359.88	c       459       624    701.68    107.07      6.55   1000000         0
361.50/361.62	c       462       615    696.20    102.89      6.77   1000000         0
363.20/363.34	c       452       514    699.60    102.14      6.85   1000000         0
364.90/365.08	c       478       709    710.75     92.55      7.68   1000000         0
366.70/366.83	c       521       608    713.59     87.03      8.20   1000000         0
368.40/368.54	c       424       771    669.13    102.35      6.54   1000000         0
370.09/370.27	c       476       627    684.13    104.84      6.53   1000000         0
371.89/372.00	c       460       709    708.08    115.48      6.13   1000000         0
373.59/373.74	c       492       732    705.52     99.95      7.06   1000000         0
375.29/375.47	c       460       697    694.46    100.36      6.92   1000000         0
376.99/377.19	c       488       669    680.90     81.30      8.38   1000000         0
378.79/378.91	c       484       614    697.68    106.82      6.53   1000000         0
380.50/380.63	c       440       715    676.81    100.60      6.73   1000000         0
382.19/382.36	c       426       629    675.22    107.99      6.25   1000000         0
383.89/384.09	c       480       678    692.56    103.63      6.68   1000000         0
385.69/385.82	c       484       648    699.16     91.90      7.61   1000000         0
387.39/387.54	c       502       694    698.17     81.77      8.54   1000000         0
389.09/389.28	c       524       655    711.95     95.64      7.44   1000000         0
390.89/391.00	c       470       725    689.26     98.89      6.97   1000000         0
392.60/392.72	c       465       588    677.95     89.95      7.54   1000000         0
394.29/394.45	c       469       778    694.03    103.09      6.73   1000000         0
395.99/396.19	c       475       645    701.87    107.57      6.52   1000000         0
397.79/397.92	c       489       626    704.16     95.89      7.34   1000000         0
399.49/399.64	c       487       639    685.24    101.19      6.77   1000000         0
401.20/401.37	c       473       672    682.57     84.12      8.11   1000000         0
402.99/403.10	c       451       568    698.06     96.80      7.21   1000000         0
404.70/404.84	c       507       630    698.49     90.34      7.73   1000000         0
406.39/406.57	c       470       713    711.38    102.53      6.94   1000000         0
408.19/408.31	c       476       800    712.74     91.16      7.82   1000000         0
409.89/410.05	c       424       768    698.90     96.53      7.24   1000000         0
411.59/411.79	c       467       798    699.34    104.72      6.68   1000000         0
413.40/413.52	c       424       743    691.15     99.17      6.97   1000000         0
415.09/415.25	c       496       629    710.41     99.38      7.15   1000000         0
416.89/417.00	c       451       635    679.99     92.42      7.36   1000000         0
418.59/418.73	c       482       679    705.14     83.87      8.41   1000000         0
420.29/420.46	c       498       742    697.42    102.31      6.82   1000000         0
422.09/422.20	c       460       765    706.22     91.87      7.69   1000000         0
423.79/423.93	c       488       634    700.15     86.99      8.05   1000000         0
425.50/425.66	c       487       645    700.26    105.83      6.62   1000000         0
427.19/427.39	c       421       680    688.14    122.42      5.62   1000000         0
428.99/429.12	c       450       734    688.47     97.08      7.09   1000000         0
430.69/430.85	c       488       705    697.74     92.48      7.54   1000000         0
432.39/432.58	c       470       693    694.19    103.63      6.70   1000000         0
434.19/434.31	c       454       645    688.78     97.18      7.09   1000000         0
435.89/436.04	c       491       572    702.89    106.41      6.61   1000000         0
437.59/437.77	c       457       773    686.60     94.21      7.29   1000000         0
439.39/439.50	c       399       711    693.53     92.71      7.48   1000000         0
441.08/441.22	c       447       716    680.48     99.74      6.82   1000000         0
442.78/442.95	c       459       739    699.65    104.75      6.68   1000000         0
444.48/444.67	c       435       597    683.58     95.14      7.19   1000000         0
446.18/446.39	c       509       656    694.25     83.99      8.27   1000000         0
447.98/448.12	c       502       668    707.02     74.82      9.45   1000000         0
449.69/449.85	c       513       622    700.18    104.98      6.67   1000000         0
451.38/451.58	c       482       855    700.28     97.56      7.18   1000000         0
453.18/453.31	c       481       631    698.79     91.42      7.64   1000000         0
454.88/455.05	c       489       691    700.75     90.95      7.70   1000000         0
456.58/456.79	c       472       695    701.07     95.75      7.32   1000000         0
458.38/458.51	c       418       551    679.05    107.95      6.29   1000000         0
460.08/460.24	c       374       713    696.96     89.97      7.75   1000000         0
461.79/461.97	c       441       677    685.20     88.84      7.71   1000000         0
463.48/463.68	c       428       738    682.92    106.08      6.44   1000000         0
465.28/465.42	c       494       644    709.96    105.18      6.75   1000000         0
466.98/467.14	c       435       709    681.45    128.50      5.30   1000000         0
468.68/468.88	c       460       702    680.83    100.40      6.78   1000000         0
470.48/470.61	c       474       665    692.81     89.01      7.78   1000000         0
472.18/472.33	c       469       576    697.63     88.51      7.88   1000000         0
473.88/474.06	c       421       688    700.13    105.91      6.61   1000000         0
475.58/475.79	c       481       700    691.62     89.48      7.73   1000000         0
477.38/477.51	c       459       573    700.88     99.87      7.02   1000000         0
479.08/479.23	c       492       646    689.48    100.01      6.89   1000000         0
480.77/480.97	c       450       717    679.34     84.55      8.03   1000000         0
482.47/482.69	c       482       601    685.49    106.30      6.45   1000000         0
484.27/484.42	c       476       634    698.17     93.95      7.43   1000000         0
485.98/486.14	c       522       654    696.00     83.00      8.39   1000000         0
487.67/487.87	c       426       696    691.97     93.93      7.37   1000000         0
489.38/489.59	c       429       656    695.12    103.40      6.72   1000000         0
491.17/491.32	c       474       621    688.83     87.15      7.90   1000000         0
492.87/493.07	c       458       697    707.66    103.62      6.83   1000000         0
494.57/494.79	c       469       739    700.19     99.44      7.04   1000000         0
496.37/496.51	c       477       681    681.66    109.47      6.23   1000000         0
498.08/498.23	c       439       643    679.01     90.20      7.53   1000000         0
499.77/499.96	c       479       694    690.66     98.96      6.98   1000000         0
501.48/501.69	c       431       713    703.69    110.78      6.35   1000000         0
503.27/503.42	c       455       700    679.78    125.29      5.43   1000000         0
504.97/505.15	c       489       696    700.84    109.18      6.42   1000000         0
506.67/506.88	c       472       587    693.40     99.37      6.98   1000000         0
508.47/508.62	c       467       701    693.21    105.97      6.54   1000000         0
510.18/510.34	c       479       707    693.28     87.26      7.95   1000000         0
511.87/512.08	c       441       748    718.46    123.02      5.84   1000000         0
513.67/513.81	c       490       718    706.36     92.60      7.63   1000000         0
515.37/515.54	c       501       566    702.25     89.72      7.83   1000000         0
517.07/517.26	c       465       711    696.13     96.21      7.24   1000000         0
518.77/518.99	c       490       604    691.20     89.52      7.72   1000000         0
520.57/520.73	c       486       596    710.72    101.85      6.98   1000000         0
522.27/522.46	c       471       730    678.51    113.73      5.97   1000000         0
523.97/524.19	c       470       741    688.31     98.03      7.02   1000000         0
525.77/525.92	c       465       764    698.80    109.85      6.36   1000000         0
527.46/527.65	c       471       556    713.23     99.90      7.14   1000000         0
529.16/529.38	c       444       690    681.15     89.22      7.63   1000000         0
530.96/531.12	c       475       798    703.02     89.31      7.87   1000000         0
532.66/532.84	c       407       602    676.73     99.52      6.80   1000000         0
534.37/534.57	c       482       582    698.60     93.85      7.44   1000000         0
536.06/536.30	c       451       741    693.92    101.07      6.87   1000000         0
537.86/538.03	c       477       777    700.79    115.62      6.06   1000000         0
539.56/539.76	c       492       758    710.25     98.47      7.21   1000000         0
541.26/541.50	c       487       668    696.18     88.26      7.89   1000000         0
543.06/543.23	c       462       731    704.60     98.41      7.16   1000000         0
544.76/544.95	c       491       597    693.45    107.13      6.47   1000000         0
546.47/546.68	c       424       674    681.00    105.98      6.43   1000000         0
548.26/548.41	c       463       702    703.82    118.50      5.94   1000000         0
549.96/550.14	c       461       610    689.72    103.35      6.67   1000000         0
551.66/551.87	c       486       676    696.42     78.83      8.83   1000000         0
553.36/553.59	c       460       659    687.14     96.67      7.11   1000000         0
555.16/555.31	c       465       634    684.63     94.54      7.24   1000000         0
556.86/557.03	c       499       637    695.90    113.39      6.14   1000000         0
558.56/558.76	c       507       613    705.84     84.49      8.35   1000000         0
560.26/560.49	c       472       722    688.43     99.39      6.93   1000000         0
562.06/562.21	c       442       680    694.62     97.47      7.13   1000000         0
563.76/563.94	c       459       677    688.58    110.08      6.25   1000000         0
565.45/565.65	c       481       646    694.87     88.53      7.85   1000000         0
567.15/567.38	c       489       622    696.39     91.04      7.65   1000000         0
568.95/569.11	c       491       721    690.07     89.35      7.72   1000000         0
570.66/570.84	c       473       662    700.46    122.25      5.73   1000000         0
572.35/572.57	c       446       777    691.03    107.57      6.42   1000000         0
574.15/574.30	c       454       621    677.03     91.26      7.42   1000000         0
575.85/576.02	c       508       661    705.95     74.32      9.50   1000000         0
577.55/577.76	c       460       645    701.87     99.26      7.07   1000000         0
579.25/579.48	c       477       554    674.18    123.06      5.48   1000000         0
581.05/581.21	c       479       677    688.38     89.92      7.66   1000000         0
582.76/582.95	c       442       778    724.93    113.62      6.38   1000000         0
584.45/584.68	c       521       668    711.96     88.43      8.05   1000000         0
586.25/586.41	c       445       736    695.28     81.97      8.48   1000000         0
587.95/588.15	c       472       772    699.07    104.71      6.68   1000000         0
589.65/589.87	c       477       522    679.91    106.83      6.36   1000000         0
591.45/591.60	c       478       739    707.24    117.10      6.04   1000000         0
593.15/593.33	c       468       761    713.16    102.48      6.96   1000000         0
594.85/595.05	c       443       667    698.09     83.11      8.40   1000000         0
596.55/596.78	c       490       674    699.52     79.65      8.78   1000000         0
598.35/598.50	c       470       806    696.03     86.21      8.07   1000000         0
600.04/600.24	c       423       588    677.10     95.95      7.06   1000000         0
601.75/601.96	c       462       659    681.96     84.63      8.06   1000000         0
603.45/603.69	c       445       677    703.53    101.53      6.93   1000000         0
605.24/605.42	c       458       761    706.20     95.79      7.37   1000000         0
606.95/607.15	c       450       773    698.22    102.06      6.84   1000000         0
608.64/608.89	c       461       787    690.77     88.45      7.81   1000000         0
610.44/610.60	c       458       676    687.76    103.88      6.62   1000000         0
612.14/612.34	c       456       664    713.21    118.64      6.01   1000000         0
613.84/614.07	c       481       695    700.03     91.68      7.64   1000000         0
615.64/615.80	c       497       673    698.53     84.17      8.30   1000000         0
617.34/617.53	c       446       679    698.71    107.66      6.49   1000000         0
619.05/619.26	c       453       671    700.17    105.63      6.63   1000000         0
620.84/621.01	c       433       571    710.47     91.95      7.73   1000000         0
622.54/622.73	c       473       859    691.79     93.25      7.42   1000000         0
624.24/624.46	c       458       593    704.10     85.57      8.23   1000000         0
625.94/626.19	c       458       784    696.94    114.87      6.07   1000000         0
627.74/627.91	c       483       551    688.47     97.66      7.05   1000000         0
629.44/629.64	c       488       749    679.63    104.69      6.49   1000000         0
631.15/631.37	c       456       743    682.88    101.56      6.72   1000000         0
632.94/633.11	c       463       685    695.54     97.70      7.12   1000000         0
634.64/634.83	c       445       633    685.56     99.24      6.91   1000000         0
636.34/636.57	c       449       567    699.48    107.32      6.52   1000000         0
638.14/638.30	c       467       690    697.15    109.25      6.38   1000000         0
639.84/640.04	c       462       703    693.06    111.85      6.20   1000000         0
641.54/641.77	c       483       670    700.49     83.37      8.40   1000000         0
643.24/643.50	c       453       591    702.17     91.63      7.66   1000000         0
645.03/645.21	c       470       644    676.19     93.15      7.26   1000000         0
646.73/646.93	c       464       781    677.38     94.70      7.15   1000000         0
648.43/648.66	c       431       684    684.42     99.23      6.90   1000000         0
650.13/650.38	c       482       658    689.14    104.41      6.60   1000000         0
651.93/652.10	c       433       690    692.83     96.40      7.19   1000000         0
653.63/653.83	c       474       819    710.84    116.93      6.08   1000000         0
655.34/655.56	c       456       808    679.84    100.28      6.78   1000000         0
657.03/657.29	c       462       631    698.63     96.08      7.27   1000000         0
658.83/659.02	c       477       708    696.07    103.21      6.74   1000000         0
660.53/660.76	c       491       558    702.97    102.77      6.84   1000000         0
662.23/662.48	c       458       607    673.14    101.37      6.64   1000000         0
664.03/664.20	c       486       813    681.59     90.65      7.52   1000000         0
665.73/665.92	c       463       715    685.36    105.58      6.49   1000000         0
667.44/667.66	c       454       766    712.99    112.01      6.37   1000000         0
669.13/669.39	c       465       656    693.05     96.99      7.15   1000000         0
670.93/671.11	c       479       717    686.13     98.59      6.96   1000000         0
672.63/672.85	c       468       710    696.54     92.72      7.51   1000000         0
674.33/674.58	c       484       677    708.72    104.52      6.78   1000000         0
676.13/676.30	c       415       738    681.37     91.50      7.45   1000000         0
677.83/678.02	c       452       606    686.53     93.75      7.32   1000000         0
679.53/679.74	c       430       517    677.15     86.96      7.79   1000000         0
681.23/681.48	c       505       681    718.67    105.28      6.83   1000000         0
683.03/683.21	c       457       688    684.06     85.93      7.96   1000000         0
684.72/684.94	c       461       656    688.32     95.34      7.22   1000000         0
686.42/686.66	c       488       746    690.70    105.20      6.57   1000000         0
688.13/688.39	c       433       769    686.12     99.34      6.91   1000000         0
689.93/690.13	c       459       614    704.26    109.85      6.41   1000000         0
691.63/691.85	c       482       694    681.39     83.90      8.12   1000000         0
693.32/693.59	c       441       766    713.64    100.59      7.09   1000000         0
695.12/695.31	c       442       706    691.72     95.65      7.23   1000000         0
696.82/697.04	c       484       650    691.04     99.43      6.95   1000000         0
698.52/698.76	c       413       744    675.23     88.76      7.61   1000000         0
700.32/700.50	c       439       682    702.85    138.95      5.06   1000000         0
702.02/702.23	c       490       609    690.03    104.88      6.58   1000000         0
703.73/703.96	c       463       719    688.82    121.26      5.68   1000000         0
705.42/705.68	c       467       599    688.97    100.79      6.84   1000000         0
707.22/707.41	c       445       588    683.81    113.98      6.00   1000000         0
708.92/709.14	c       477       613    700.40    102.45      6.84   1000000         0
710.62/710.88	c       464       767    699.61     90.46      7.73   1000000         0
712.42/712.62	c       463       833    712.47     94.87      7.51   1000000         0
714.12/714.33	c       438       628    673.57    107.00      6.30   1000000         0
715.83/716.05	c       480       666    691.34     98.00      7.05   1000000         0
717.52/717.78	c       469       687    708.53     91.22      7.77   1000000         0
719.32/719.52	c       488       751    711.53     99.02      7.19   1000000         0
721.02/721.24	c       480       649    694.03     94.43      7.35   1000000         0
722.72/722.97	c       491       601    703.12    105.39      6.67   1000000         0
724.52/724.70	c       451       745    706.91    109.45      6.46   1000000         0
726.22/726.45	c       460       709    718.64     99.74      7.21   1000000         0
727.92/728.18	c       507       673    708.96     98.02      7.23   1000000         0
729.72/729.90	c       471       778    691.52    105.88      6.53   1000000         0
731.41/731.62	c       458       653    675.61     87.37      7.73   1000000         0
733.11/733.34	c       454       613    689.38     98.35      7.01   1000000         0
734.81/735.06	c       478       731    697.31     95.28      7.32   1000000         0
736.51/736.78	c       491       645    689.78     83.48      8.26   1000000         0
738.31/738.51	c       451       621    692.36     94.05      7.36   1000000         0
740.02/740.24	c       508       617    694.63     98.51      7.05   1000000         0
741.71/741.95	c       448       643    676.41     82.22      8.23   1000000         0
743.42/743.68	c       480       717    691.67     81.48      8.49   1000000         0
745.11/745.39	c       497       575    674.16     82.89      8.13   1000000         0
746.91/747.12	c       445       598    690.51    111.20      6.21   1000000         0
748.61/748.85	c       460       817    697.40    113.91      6.12   1000000         0
750.31/750.58	c       516       646    706.74     89.56      7.89   1000000         0
752.12/752.31	c       465       635    686.44    111.91      6.13   1000000         0
753.81/754.04	c       463       592    686.16     89.90      7.63   1000000         0
755.52/755.77	c       438       632    704.80    112.86      6.24   1000000         0
757.21/757.49	c       479       774    696.78     97.29      7.16   1000000         0
759.01/759.22	c       457       684    712.93    106.53      6.69   1000000         0
760.71/760.96	c       479       687    711.39    106.39      6.69   1000000         0
762.41/762.69	c       452       655    683.45    105.15      6.50   1000000         0
764.21/764.42	c       470       723    704.15    107.68      6.54   1000000         0
765.91/766.14	c       458       588    686.17    110.69      6.20   1000000         0
767.61/767.86	c       492       631    683.24    108.53      6.30   1000000         0
769.31/769.59	c       509       728    717.07     96.01      7.47   1000000         0
771.10/771.32	c       503       601    697.73     91.15      7.65   1000000         0
772.81/773.04	c       454       698    674.15    105.21      6.41   1000000         0
774.51/774.77	c       497       722    707.70    109.77      6.45   1000000         0
776.31/776.50	c       471       627    684.62     95.72      7.15   1000000         0
778.00/778.22	c       486       719    687.34    107.07      6.42   1000000         0
779.71/779.94	c       476       679    682.04    101.01      6.75   1000000         0
781.40/781.68	c       473       651    706.24    116.89      6.04   1000000         0
783.20/783.41	c       458       737    698.55     95.35      7.33   1000000         0
784.90/785.14	c       471       695    691.21     84.02      8.23   1000000         0
786.60/786.87	c       484       706    693.76     99.29      6.99   1000000         0
788.41/788.60	c       471       704    686.15     94.14      7.29   1000000         0
790.10/790.33	c       479       902    707.11    105.27      6.72   1000000         0
791.81/792.06	c       460       650    689.04    119.57      5.76   1000000         0
793.50/793.79	c       485       701    696.81     89.84      7.76   1000000         0
795.30/795.52	c       467       797    691.03    110.31      6.26   1000000         0
797.00/797.24	c       423       556    670.51     91.99      7.29   1000000         0
798.70/798.96	c       452       562    677.97    109.49      6.19   1000000         0
800.40/800.70	c       489       679    705.29    134.94      5.23   1000000         0
802.20/802.44	c       418       714    693.98    106.04      6.54   1000000         0
803.90/804.17	c       468       696    704.40     92.05      7.65   1000000         0
805.70/805.90	c       468       631    699.27     98.41      7.11   1000000         0
807.40/807.63	c       419       707    701.10     97.95      7.16   1000000         0
809.10/809.35	c       463       610    683.81     76.55      8.93   1000000         0
810.79/811.09	c       385       762    700.06     98.83      7.08   1000000         0
812.60/812.81	c       451       632    678.26    101.35      6.69   1000000         0
814.29/814.53	c       445       765    696.19    112.61      6.18   1000000         0
816.00/816.26	c       459       558    691.00     90.93      7.60   1000000         0
817.79/818.00	c       465       537    715.72     97.96      7.31   1000000         0
819.49/819.75	c       487       673    719.63    109.19      6.59   1000000         0
821.19/821.48	c       487       700    700.84     94.48      7.42   1000000         0
822.99/823.21	c       453       701    706.66     83.14      8.50   1000000         0
824.70/824.94	c       512       776    691.91    107.14      6.46   1000000         0
826.39/826.66	c       471       640    689.48     86.30      7.99   1000000         0
828.10/828.39	c       483       731    706.37    105.53      6.69   1000000         0
829.89/830.11	c       471       640    697.44    100.43      6.94   1000000         0
831.59/831.85	c       490       767    703.95     94.36      7.46   1000000         0
833.29/833.59	c       494       636    698.53     94.46      7.40   1000000         0
835.09/835.32	c       445       758    702.06    112.90      6.22   1000000         0
836.80/837.04	c       474       701    702.68    109.30      6.43   1000000         0
838.49/838.78	c       495       689    719.01     97.75      7.36   1000000         0
840.29/840.51	c       467       680    688.97     95.94      7.18   1000000         0
841.99/842.25	c       518       644    720.39    105.08      6.86   1000000         0
843.69/843.98	c       445       736    696.93    103.61      6.73   1000000         0
845.49/845.70	c       444       651    690.59    108.20      6.38   1000000         0
847.18/847.42	c       418       624    691.37    106.12      6.52   1000000         0
848.89/849.15	c       468       746    695.60     87.22      7.98   1000000         0
850.58/850.88	c       475       656    688.62     90.55      7.61   1000000         0
852.38/852.61	c       462       719    699.01     85.63      8.16   1000000         0
854.08/854.34	c       492       652    684.14     86.75      7.89   1000000         0
855.78/856.07	c       483       603    705.50     94.81      7.44   1000000         0
857.58/857.80	c       455       610    674.66     93.48      7.22   1000000         0
859.28/859.53	c       501       781    708.66    103.59      6.84   1000000         0
860.99/861.26	c       496       738    686.45     96.21      7.13   1000000         0
862.68/862.98	c       453       672    694.02    108.84      6.38   1000000         0
864.48/864.71	c       486       601    672.52     88.37      7.61   1000000         0
866.18/866.43	c       478       729    686.29     75.67      9.07   1000000         0
867.88/868.16	c       487       723    672.37     94.93      7.08   1000000         0
869.58/869.88	c       457       588    671.97    101.30      6.63   1000000         0
871.38/871.62	c       462       832    692.63    110.53      6.27   1000000         0
873.09/873.35	c       445       684    714.33    100.61      7.10   1000000         0
874.78/875.08	c       480       788    709.37    102.00      6.95   1000000         0
876.58/876.80	c       460       705    688.96     99.41      6.93   1000000         0
878.28/878.53	c       474       678    709.37    116.58      6.08   1000000         0
879.98/880.26	c       464       711    703.57    109.13      6.45   1000000         0
881.68/881.99	c       496       702    701.21     84.68      8.28   1000000         0
883.48/883.73	c       485       732    702.60     84.30      8.33   1000000         0
885.18/885.45	c       470       676    686.13    100.61      6.82   1000000         0
886.88/887.19	c       500       683    716.95    102.21      7.01   1000000         0
888.68/888.92	c       450       589    694.49     93.03      7.47   1000000         0
890.37/890.65	c       473       726    686.42     96.03      7.15   1000000         0
892.07/892.38	c       445       593    692.30    102.29      6.77   1000000         0
893.87/894.10	c       454       749    693.86    113.02      6.14   1000000         0
895.57/895.83	c       458       692    675.29    102.12      6.61   1000000         0
897.28/897.55	c       495       612    690.71     90.66      7.62   1000000         0
898.97/899.28	c       458       651    697.11     93.75      7.44   1000000         0
900.77/901.02	c       476       830    707.51    116.09      6.09   1000000         0
902.47/902.75	c       441       660    686.29    118.40      5.80   1000000         0
904.17/904.48	c       413       521    697.25    107.18      6.51   1000000         0
905.97/906.20	c       470       760    691.73     96.04      7.20   1000000         0
907.67/907.93	c       503       798    701.36     92.92      7.55   1000000         0
909.38/909.66	c       490       636    693.89     94.44      7.35   1000000         0
911.17/911.40	c       457       700    701.90    100.02      7.02   1000000         0
912.87/913.13	c       508       651    715.86    103.97      6.89   1000000         0
914.57/914.86	c       477       600    700.11    103.26      6.78   1000000         0
916.27/916.59	c       462       701    689.58    112.23      6.14   1000000         0
918.07/918.31	c       442       579    680.82     97.25      7.00   1000000         0
919.77/920.04	c       470       695    699.52    108.31      6.46   1000000         0
921.47/921.77	c       452       678    708.13    106.84      6.63   1000000         0
923.17/923.49	c       461       603    695.28     94.56      7.35   1000000         0
924.96/925.22	c       494       640    697.02     84.21      8.28   1000000         0
926.66/926.96	c       504       842    709.01     98.81      7.18   1000000         0
928.36/928.69	c       450       732    696.63     98.00      7.11   1000000         0
930.16/930.42	c       456       690    711.40     98.47      7.22   1000000         0
931.86/932.15	c       510       654    691.87     93.99      7.36   1000000         0
933.57/933.87	c       489       639    685.91    102.47      6.69   1000000         0
935.36/935.60	c       505       632    701.80    112.40      6.24   1000000         0
937.06/937.33	c       464       755    704.06     97.42      7.23   1000000         0
938.76/939.05	c       438       809    682.27    101.72      6.71   1000000         0
940.46/940.79	c       480       768    703.73     98.76      7.13   1000000         0
942.26/942.51	c       466       723    693.22     97.83      7.09   1000000         0
943.96/944.25	c       492       532    718.71    106.63      6.74   1000000         0
945.67/945.98	c       441       673    690.81     96.23      7.18   1000000         0
947.36/947.70	c       431       722    674.96    100.11      6.74   1000000         0
949.16/949.43	c       418       735    690.91    118.14      5.85   1000000         0
950.86/951.16	c       458       651    696.89     91.55      7.61   1000000         0
952.56/952.89	c       430       685    695.44    109.77      6.34   1000000         0
954.36/954.61	c       471       702    693.41     94.40      7.35   1000000         0
956.06/956.34	c       471       696    689.93     99.39      6.94   1000000         0
957.76/958.07	c       480       795    694.16    102.70      6.76   1000000         0
959.55/959.80	c       490       691    704.80     97.52      7.23   1000000         0
961.25/961.53	c       465       743    706.10    102.12      6.91   1000000         0
962.95/963.26	c       464       642    689.00     95.39      7.22   1000000         0
964.75/965.00	c       482       699    704.23     99.45      7.08   1000000         0
966.45/966.73	c       503       657    703.13     90.42      7.78   1000000         0
968.15/968.45	c       404       628    688.31     99.37      6.93   1000000         0
969.86/970.17	c       443       756    678.28     81.06      8.37   1000000         0
971.65/971.90	c       454       675    689.14    100.43      6.86   1000000         0
973.35/973.63	c       464       625    696.97     89.18      7.81   1000000         0
975.05/975.37	c       485       698    704.55     97.75      7.21   1000000         0
976.85/977.11	c       494       570    701.31    101.02      6.94   1000000         0
978.55/978.84	c       487       685    711.96     85.51      8.33   1000000         0
980.25/980.56	c       463       716    683.48     90.69      7.54   1000000         0
981.96/982.30	c       445       680    710.21     90.40      7.86   1000000         0
983.75/984.03	c       442       621    687.01    129.47      5.31   1000000         0
985.45/985.76	c       464       703    696.55     91.78      7.59   1000000         0
987.15/987.49	c       464       648    705.16     97.62      7.22   1000000         0
988.95/989.22	c       389       672    670.49     89.16      7.52   1000000         0
990.65/990.94	c       488       632    689.51     92.61      7.45   1000000         0
992.35/992.66	c       425       756    680.40     90.89      7.49   1000000         0
994.05/994.38	c       489       610    685.83     73.32      9.35   1000000         0
995.84/996.10	c       449       842    682.54     88.62      7.70   1000000         0
997.54/997.82	c       405       663    686.40    116.50      5.89   1000000         0
999.24/999.55	c       492       705    694.63     87.76      7.92   1000000         0
1000.94/1001.28	c       482       630    705.86     92.14      7.66   1000000         0
1002.74/1003.01	c       425       615    701.42    107.80      6.51   1000000         0
1004.44/1004.74	c       469       649    707.24    100.01      7.07   1000000         0
1006.15/1006.47	c       461       724    685.39     94.51      7.25   1000000         0
1007.84/1008.20	c       427       644    696.78     93.99      7.41   1000000         0
1009.64/1009.92	c       463       629    681.30     84.73      8.04   1000000         0
1011.34/1011.65	c       442       786    709.42    100.71      7.04   1000000         0
1013.04/1013.38	c       464       795    694.09    100.04      6.94   1000000         0
1014.84/1015.11	c       483       749    698.24     91.53      7.63   1000000         0
1016.54/1016.84	c       477       578    693.45     91.82      7.55   1000000         0
1018.24/1018.56	c       424       660    682.61     88.74      7.69   1000000         0
1020.04/1020.30	c       479       685    689.46    108.75      6.34   1000000         0
1021.74/1022.02	c       458       710    683.21     93.09      7.34   1000000         0
1023.44/1023.75	c       510       683    715.84     96.83      7.39   1000000         0
1025.14/1025.49	c       465       719    686.75    113.67      6.04   1000000         0
1026.93/1027.21	c       428       845    685.72    117.48      5.84   1000000         0
1028.64/1028.95	c       451       647    714.27    110.38      6.47   1000000         0
1030.34/1030.68	c       441       712    675.43     84.67      7.98   1000000         0
1032.14/1032.40	c       497       652    703.75     93.63      7.52   1000000         0
1033.83/1034.13	c       441       624    676.30    117.51      5.76   1000000         0
1035.53/1035.85	c       485       660    685.51     96.75      7.09   1000000         0
1037.23/1037.57	c       501       629    683.06     90.51      7.55   1000000         0
1039.03/1039.30	c       312       651    689.59     87.36      7.89   1000000         0
1040.73/1041.03	c       495       680    704.60    101.29      6.96   1000000         0
1042.44/1042.76	c       444       704    699.06    112.99      6.19   1000000         0
1044.13/1044.49	c       489       545    689.95     94.24      7.32   1000000         0
1045.93/1046.22	c       487       739    724.00    109.47      6.61   1000000         0
1047.63/1047.95	c       484       688    696.53     82.59      8.43   1000000         0
1049.33/1049.69	c       508       703    709.52    102.13      6.95   1000000         0
1051.13/1051.42	c       443       642    704.73    107.57      6.55   1000000         0
1052.83/1053.14	c       491       662    689.07     84.72      8.13   1000000         0
1054.53/1054.88	c       445       692    713.18    114.71      6.22   1000000         0
1056.33/1056.60	c       462       690    685.28     86.92      7.88   1000000         0
1058.03/1058.33	c       451       766    677.21    102.67      6.60   1000000         0
1059.73/1060.06	c       491       660    704.48     94.51      7.45   1000000         0
1061.42/1061.78	c       422       706    686.00     92.74      7.40   1000000         0
1063.22/1063.50	c       457       700    703.15     91.82      7.66   1000000         0
1064.92/1065.23	c       459       793    686.94     92.85      7.40   1000000         0
1066.63/1066.96	c       440       745    699.25     99.77      7.01   1000000         0
1068.32/1068.69	c       451       801    699.56     93.20      7.51   1000000         0
1070.12/1070.43	c       453       638    695.85    106.65      6.52   1000000         0
1071.82/1072.16	c       464       691    702.01    107.77      6.51   1000000         0
1073.62/1073.90	c       462       547    705.57     92.27      7.65   1000000         0
1075.32/1075.63	c       496       801    709.88     89.24      7.96   1000000         0
1077.02/1077.35	c       500       673    694.72     93.37      7.44   1000000         0
1078.73/1079.08	c       415       800    698.05    115.78      6.03   1000000         0
1080.52/1080.81	c       466       679    692.65    107.80      6.43   1000000         0
1082.22/1082.55	c       486       715    719.48    102.46      7.02   1000000         0
1083.92/1084.29	c       458       606    713.80    116.89      6.11   1000000         0
1085.72/1086.02	c       508       677    725.76    108.60      6.68   1000000         0
1087.42/1087.75	c       470       634    685.23    108.66      6.31   1000000         0
1089.12/1089.47	c       457       605    675.75    102.43      6.60   1000000         0
1090.92/1091.20	c       500       749    702.48     93.41      7.52   1000000         0
1092.62/1092.93	c       474       696    689.40     79.58      8.66   1000000         0
1094.32/1094.65	c       483       604    685.03     87.78      7.80   1000000         0
1096.01/1096.38	c       471       577    695.74    111.06      6.26   1000000         0
1097.81/1098.11	c       460       723    702.27     90.48      7.76   1000000         0
1099.51/1099.82	c       419       831    690.04    113.92      6.06   1000000         0
1101.21/1101.56	c       483       641    714.01     92.57      7.71   1000000         0
1102.92/1103.28	c       455       707    697.78     92.87      7.51   1000000         0
1104.71/1105.01	c       424       617    692.93    111.12      6.24   1000000         0
1106.41/1106.74	c       477       697    715.18     91.28      7.84   1000000         0
1108.11/1108.46	c       423       660    681.83     94.25      7.23   1000000         0
1109.81/1110.18	c       421       721    677.97    107.37      6.31   1000000         0
1111.61/1111.92	c       478       686    692.42     92.59      7.48   1000000         0
1113.31/1113.66	c       427       761    704.59    113.46      6.21   1000000         0
1115.01/1115.38	c       478       660    693.76     89.67      7.74   1000000         0
1116.81/1117.12	c       520       673    719.94     98.16      7.33   1000000         0
1118.51/1118.84	c       473       587    679.44    117.19      5.80   1000000         0
1120.21/1120.57	c       462       671    682.61    100.69      6.78   1000000         0
1122.01/1122.30	c       457       599    674.83    111.85      6.03   1000000         0
1123.71/1124.04	c       426       656    710.38     95.65      7.43   1000000         0
1125.40/1125.76	c       491       608    691.75     93.90      7.37   1000000         0
1127.11/1127.50	c       477       664    694.39     97.43      7.13   1000000         0
1128.90/1129.23	c       464       701    700.96    114.31      6.13   1000000         0
1130.60/1130.95	c       455       673    697.82     99.52      7.01   1000000         0
1132.30/1132.68	c       465       750    701.99     88.17      7.96   1000000         0
1134.10/1134.42	c       493       767    712.19    107.72      6.61   1000000         0
1135.80/1136.16	c       484       638    697.74    123.29      5.66   1000000         0
1137.50/1137.88	c       456       819    682.87     89.33      7.64   1000000         0
1139.31/1139.62	c       490       657    693.34     92.03      7.53   1000000         0
1141.00/1141.35	c       480       701    711.34     99.61      7.14   1000000         0
1142.70/1143.07	c       447       640    688.09     89.37      7.70   1000000         0
1144.40/1144.79	c       463       657    673.70     96.48      6.98   1000000         0
1146.20/1146.52	c       493       678    698.86     85.16      8.21   1000000         0
1147.90/1148.25	c       462       695    704.10     93.69      7.52   1000000         0
1149.60/1149.99	c       474       681    705.58    118.28      5.97   1000000         0
1151.40/1151.71	c       439       612    675.01     95.98      7.03   1000000         0
1153.09/1153.44	c       422       594    707.05    109.61      6.45   1000000         0
1154.79/1155.16	c       427       725    688.92    118.55      5.81   1000000         0
1156.49/1156.88	c       452       666    693.71    111.97      6.20   1000000         0
1158.29/1158.62	c       430       606    692.66     99.00      7.00   1000000         0
1159.99/1160.36	c       527       710    718.62     89.40      8.04   1000000         0
1161.79/1162.10	c       463       708    711.88     97.02      7.34   1000000         0
1163.50/1163.82	c       475       694    690.46    110.72      6.24   1000000         0
1165.19/1165.55	c       454       748    714.22     86.88      8.22   1000000         0
1166.89/1167.28	c       445       709    701.68    101.27      6.93   1000000         0
1168.69/1169.02	c       460       741    689.86     91.97      7.50   1000000         0
1170.39/1170.74	c       457       732    677.12     85.61      7.91   1000000         0
1172.09/1172.47	c       467       571    688.59    101.39      6.79   1000000         0
1173.79/1174.18	c       469       692    679.12    107.57      6.31   1000000         0
1175.60/1175.91	c       498       628    699.95    108.30      6.46   1000000         0
1177.29/1177.63	c       443       692    681.22    102.06      6.67   1000000         0
1178.99/1179.37	c       494       656    698.95    101.71      6.87   1000000         0
1180.69/1181.09	c       447       740    679.19     90.92      7.47   1000000         0
1182.48/1182.82	c       448       672    691.69     89.55      7.72   1000000         0
1184.18/1184.56	c       484       558    702.85     91.75      7.66   1000000         0
1185.88/1186.29	c       452       577    684.26     98.99      6.91   1000000         0
1187.69/1188.02	c       467       691    687.56     93.65      7.34   1000000         0
1189.38/1189.75	c       488       741    695.50    108.97      6.38   1000000         0
1191.08/1191.48	c       459       635    688.04     89.07      7.73   1000000         0
1192.88/1193.20	c       480       707    693.89     93.22      7.44   1000000         0
1194.58/1194.93	c       480       628    695.09    100.50      6.92   1000000         0
1196.28/1196.66	c       485       649    706.32    108.86      6.49   1000000         0
1197.98/1198.39	c       441       631    708.02     96.50      7.34   1000000         0
1199.79/1200.12	c       428       849    694.52     94.04      7.39   1000000         0
1201.48/1201.84	c       433       550    685.96     92.21      7.44   1000000         0
1203.18/1203.57	c       480       660    694.14    104.87      6.62   1000000         0
1204.98/1205.30	c       442       553    693.25     91.41      7.58   1000000         0
1206.68/1207.03	c       426       631    692.45     98.92      7.00   1000000         0
1208.38/1208.76	c       450       666    687.91     90.60      7.59   1000000         0
1210.08/1210.48	c       416       741    681.10    116.16      5.86   1000000         0
1211.88/1212.22	c       481       584    677.08     89.63      7.55   1000000         0
1213.58/1213.96	c       513       748    702.10     78.81      8.91   1000000         0
1215.27/1215.69	c       456       713    683.97    114.54      5.97   1000000         0
1217.07/1217.43	c       487       673    704.64     90.13      7.82   1000000         0
1218.77/1219.16	c       496       726    703.56     96.96      7.26   1000000         0
1220.47/1220.89	c       477       697    700.53     96.14      7.29   1000000         0
1222.27/1222.61	c       491       673    688.38     95.73      7.19   1000000         0
1223.98/1224.34	c       468       744    697.21     98.91      7.05   1000000         0
1225.67/1226.07	c       497       640    698.68     98.04      7.13   1000000         0
1227.47/1227.80	c       520       648    707.68     81.21      8.71   1000000         0
1229.17/1229.52	c       440       647    669.31     89.39      7.49   1000000         0
1230.87/1231.25	c       481       811    708.12     89.40      7.92   1000000         0
1232.57/1232.98	c       412       818    681.59     92.14      7.40   1000000         0
1234.37/1234.71	c       479       633    696.48     87.00      8.01   1000000         0
1236.08/1236.44	c       483       696    707.83    118.15      5.99   1000000         0
1237.77/1238.17	c       451       694    678.25     87.26      7.77   1000000         0
1239.57/1239.90	c       469       813    699.45    107.24      6.52   1000000         0
1241.27/1241.63	c       440       736    689.95     89.89      7.68   1000000         0
1242.97/1243.35	c       473       589    687.68     90.70      7.58   1000000         0
1244.66/1245.09	c       459       611    711.37    109.38      6.50   1000000         0
1246.46/1246.82	c       436       624    692.26    103.05      6.72   1000000         0
1248.17/1248.55	c       464       647    689.28     87.36      7.89   1000000         0
1249.86/1250.28	c       488       639    700.81     85.64      8.18   1000000         0
1251.66/1252.02	c       460       672    712.37    102.32      6.96   1000000         0
1253.36/1253.75	c       493       652    688.70     90.10      7.64   1000000         0
1255.06/1255.47	c       501       746    698.18     86.53      8.07   1000000         0
1256.76/1257.19	c       474       755    689.83    109.02      6.33   1000000         0
1258.56/1258.92	c       473       712    707.91     95.95      7.38   1000000         0
1260.27/1260.65	c       480       754    694.34     86.13      8.06   1000000         0
1261.96/1262.37	c       444       674    683.99    105.62      6.48   1000000         0
1263.76/1264.10	c       499       680    700.30    105.26      6.65   1000000         0
1265.46/1265.83	c       454       646    690.00     90.67      7.61   1000000         0
1267.16/1267.55	c       404       697    683.59    115.02      5.94   1000000         0
1268.86/1269.28	c       380       589    693.90    104.26      6.66   1000000         0
1270.66/1271.02	c       480       606    688.38    100.40      6.86   1000000         0
1272.37/1272.74	c       410       700    681.95     95.83      7.12   1000000         0
1274.06/1274.47	c       422       574    679.98     82.22      8.27   1000000         0
1275.76/1276.19	c       442       691    680.77    117.67      5.79   1000000         0
1277.56/1277.92	c       476       711    683.00    102.79      6.64   1000000         0
1279.26/1279.65	c       445       841    713.70    119.54      5.97   1000000         0
1280.96/1281.39	c       440       642    681.57     92.55      7.36   1000000         0
1282.75/1283.13	c       505       743    705.53     95.61      7.38   1000000         0
1284.46/1284.86	c       474       702    692.81     92.22      7.51   1000000         0
1286.16/1286.59	c       440       839    701.82    104.21      6.73   1000000         0
1287.95/1288.31	c       495       705    693.64     98.26      7.06   1000000         0
1289.65/1290.03	c       443       582    679.97    109.06      6.24   1000000         0
1291.35/1291.76	c       480       600    684.56     94.84      7.22   1000000         0
1293.05/1293.50	c       462       742    705.74    102.91      6.86   1000000         0
1294.85/1295.22	c       445       725    681.31     91.62      7.44   1000000         0
1296.56/1296.95	c       432       622    699.86     90.89      7.70   1000000         0
1298.25/1298.66	c       436       658    670.53     96.61      6.94   1000000         0
1299.95/1300.39	c       454       734    694.35     90.49      7.67   1000000         0
1301.75/1302.12	c       417       727    685.16    110.98      6.17   1000000         0
1303.45/1303.84	c       481       630    691.15     89.34      7.74   1000000         0
1305.15/1305.56	c       494       669    691.08     90.83      7.61   1000000         0
1306.85/1307.29	c       480       750    692.70    111.91      6.19   1000000         0
1308.66/1309.02	c       486       743    697.28     76.40      9.13   1000000         0
1310.35/1310.75	c       456       785    685.50     99.85      6.87   1000000         0
1312.05/1312.48	c       461       601    699.11    100.36      6.97   1000000         0
1313.85/1314.20	c       476       707    682.28     96.78      7.05   1000000         0
1315.55/1315.93	c       438       729    696.59    102.76      6.78   1000000         0
1317.25/1317.66	c       429       696    691.11     96.69      7.15   1000000         0
1318.95/1319.39	c       489       667    709.58    109.80      6.46   1000000         0
1320.75/1321.13	c       434       643    703.03     91.25      7.70   1000000         0
1322.45/1322.86	c       463       896    702.68    113.57      6.19   1000000         0
1324.15/1324.59	c       482       813    684.29     96.44      7.10   1000000         0
1325.94/1326.30	c       486       643    683.52     93.38      7.32   1000000         0
1327.64/1328.03	c       453       607    691.70     97.60      7.09   1000000         0
1329.34/1329.76	c       472       829    691.87     98.05      7.06   1000000         0
1331.04/1331.49	c       471       606    684.88     95.33      7.18   1000000         0
1332.85/1333.23	c       477       547    706.67    109.21      6.47   1000000         0
1334.54/1334.96	c       507       750    693.80     99.08      7.00   1000000         0
1336.24/1336.68	c       421       651    693.51    118.57      5.85   1000000         0
1338.04/1338.41	c       491       807    682.18     85.67      7.96   1000000         0
1339.74/1340.14	c       490       698    685.69     95.31      7.19   1000000         0
1341.44/1341.85	c       380       681    666.99     96.56      6.91   1000000         0
1343.14/1343.58	c       455       646    688.28     96.65      7.12   1000000         0
1344.95/1345.31	c       501       669    689.87     92.09      7.49   1000000         0
1346.64/1347.03	c       442       681    685.94     98.71      6.95   1000000         0
1348.34/1348.75	c       427       736    683.80    126.74      5.40   1000000         0
1350.04/1350.49	c       510       654    698.91    100.19      6.98   1000000         0
1351.84/1352.22	c       497       833    711.19    113.07      6.29   1000000         0
1353.54/1353.96	c       475       780    711.55    103.01      6.91   1000000         0
1355.24/1355.68	c       452       731    688.73    109.87      6.27   1000000         0
1356.94/1357.40	c       450       603    684.46     83.07      8.24   1000000         0
1358.73/1359.12	c       467       580    694.33    100.99      6.88   1000000         0
1360.43/1360.84	c       480       636    691.08     92.73      7.45   1000000         0
1362.13/1362.57	c       466       833    689.23    107.71      6.40   1000000         0
1363.93/1364.31	c       452       657    706.42     86.16      8.20   1000000         0
1365.63/1366.04	c       497       764    696.27     87.32      7.97   1000000         0
1367.33/1367.76	c       481       567    699.96    111.21      6.29   1000000         0
1369.04/1369.49	c       504       752    701.82     85.45      8.21   1000000         0
1370.83/1371.21	c       456       733    697.44    120.72      5.78   1000000         0
1372.53/1372.94	c       495       796    695.19     87.58      7.94   1000000         0
1374.23/1374.67	c       475       665    696.62     98.96      7.04   1000000         0
1376.03/1376.40	c       423       680    690.01    107.60      6.41   1000000         0
1377.73/1378.12	c       436       626    685.87    109.07      6.29   1000000         0
1379.43/1379.84	c       503       756    680.28     80.81      8.42   1000000         0
1381.14/1381.58	c       456       692    702.89     96.30      7.30   1000000         0
1382.93/1383.31	c       490       704    704.06    106.90      6.59   1000000         0
1384.63/1385.05	c       440       695    686.94    107.16      6.41   1000000         0
1386.33/1386.77	c       493       551    698.86     94.35      7.41   1000000         0
1388.12/1388.50	c       463       775    712.38     97.88      7.28   1000000         0
1389.82/1390.24	c       491       738    698.80    108.43      6.44   1000000         0
1391.52/1391.96	c       457       675    695.47     94.37      7.37   1000000         0
1393.23/1393.69	c       486       688    694.12    101.19      6.86   1000000         0
1395.02/1395.42	c       443       632    683.37    100.64      6.79   1000000         0
1396.72/1397.15	c       521       880    708.06    103.66      6.83   1000000         0
1398.42/1398.87	c       422       482    661.95     78.82      8.40   1000000         0
1400.12/1400.60	c       463       749    705.89    115.82      6.09   1000000         0
1401.92/1402.33	c       481       666    696.38    106.24      6.55   1000000         0
1403.62/1404.06	c       474       754    705.01     91.51      7.70   1000000         0
1405.33/1405.78	c       465       641    688.38     82.73      8.32   1000000         0
1407.12/1407.52	c       451       632    689.06    114.81      6.00   1000000         0
1408.82/1409.24	c       486       752    687.56     80.10      8.58   1000000         0
1410.52/1410.98	c       509       760    709.76    115.80      6.13   1000000         0
1412.32/1412.71	c       479       726    706.68     98.13      7.20   1000000         0
1414.02/1414.44	c       512       732    697.10     90.83      7.68   1000000         0
1415.72/1416.16	c       446       855    686.91    110.54      6.21   1000000         0
1417.42/1417.90	c       443       695    710.26    114.28      6.22   1000000         0
1419.22/1419.64	c       436       466    699.39    104.38      6.70   1000000         0
1420.91/1421.37	c       478       771    698.38    106.12      6.58   1000000         0
1422.61/1423.09	c       476       759    697.54    108.88      6.41   1000000         0
1424.41/1424.81	c       483       771    690.84    125.52      5.50   1000000         0
1426.12/1426.54	c       469       633    692.64    111.87      6.19   1000000         0
1427.81/1428.26	c       474       747    688.12     82.95      8.30   1000000         0
1429.52/1430.00	c       435       655    702.19    102.90      6.82   1000000         0
1431.31/1431.73	c       493       717    696.33    106.89      6.51   1000000         0
1433.01/1433.46	c       455       569    681.19     84.65      8.05   1000000         0
1434.71/1435.18	c       496       748    695.97     93.56      7.44   1000000         0
1436.41/1436.90	c       459       719    675.63    102.26      6.61   1000000         0
1438.21/1438.62	c       447       639    675.96     86.28      7.83   1000000         0
1439.91/1440.34	c       494       669    689.32     92.44      7.46   1000000         0
1441.62/1442.08	c       468       631    693.53    118.09      5.87   1000000         0
1443.41/1443.80	c       418       688    700.43    103.72      6.75   1000000         0
1445.11/1445.52	c       483       658    689.45     79.43      8.68   1000000         0
1446.81/1447.25	c       500       668    685.75     96.49      7.11   1000000         0
1448.51/1448.97	c       462       567    686.24    110.22      6.23   1000000         0
1450.31/1450.72	c       474       837    715.35    105.56      6.78   1000000         0
1452.01/1452.45	c       483       629    706.54     88.44      7.99   1000000         0
1453.71/1454.18	c       458       734    704.85    108.22      6.51   1000000         0
1455.51/1455.92	c       431       641    693.51     96.93      7.15   1000000         0
1457.21/1457.65	c       465       709    694.92     93.61      7.42   1000000         0
1458.91/1459.38	c       493       728    704.32    110.96      6.35   1000000         0
1460.70/1461.11	c       474       580    707.10     92.95      7.61   1000000         0
1462.40/1462.84	c       463       618    698.02    100.89      6.92   1000000         0
1464.10/1464.58	c       501       910    707.34     92.04      7.69   1000000         0
1465.81/1466.30	c       488       742    692.62     80.50      8.60   1000000         0
1467.60/1468.03	c       480       693    706.97     96.80      7.30   1000000         0
1469.30/1469.75	c       472       586    686.36     88.14      7.79   1000000         0
1471.00/1471.47	c       506       680    684.49     99.49      6.88   1000000         0
1472.70/1473.19	c       442       647    675.94     95.90      7.05   1000000         0
1474.50/1474.93	c       489       733    700.43    100.78      6.95   1000000         0
1476.20/1476.64	c       424       657    692.13    101.64      6.81   1000000         0
1477.91/1478.36	c       460       716    676.44     92.16      7.34   1000000         0
1479.60/1480.09	c       477       677    684.83     94.13      7.28   1000000         0
1481.40/1481.84	c       463       555    731.16    101.86      7.18   1000000         0
1483.10/1483.58	c       494       603    715.74     98.52      7.27   1000000         0
1484.90/1485.32	c       492       818    704.68     97.27      7.24   1000000         0
1486.60/1487.06	c       448       699    726.57    121.28      5.99   1000000         0
1488.30/1488.79	c       438       644    703.15    118.39      5.94   1000000         0
1490.10/1490.53	c       476       764    709.78    102.22      6.94   1000000         0
1491.80/1492.27	c       469       538    710.65     93.41      7.61   1000000         0
1493.50/1493.99	c       474       825    694.65     93.56      7.42   1000000         0
1495.30/1495.71	c       469       643    687.99     88.62      7.76   1000000         0
1496.99/1497.44	c       454       731    677.06     84.57      8.01   1000000         0
1498.69/1499.17	c       526       602    705.08     99.09      7.12   1000000         0
1500.39/1500.89	c       459       692    689.68    103.79      6.65   1000000         0
1502.20/1502.62	c       483       740    704.96    111.49      6.32   1000000         0
1503.89/1504.33	c       463       744    683.78     82.67      8.27   1000000         0
1505.59/1506.07	c       502       630    707.06     96.48      7.33   1000000         0
1507.39/1507.80	c       482       640    690.15    104.39      6.61   1000000         0
1509.09/1509.52	c       449       586    681.67    104.11      6.55   1000000         0
1510.79/1511.25	c       500       715    701.54     89.59      7.83   1000000         0
1512.49/1512.98	c       428       655    679.51     97.98      6.94   1000000         0
1514.30/1514.71	c       479       764    689.57    101.97      6.76   1000000         0
1515.99/1516.44	c       480       679    701.49     87.56      8.01   1000000         0
1517.69/1518.16	c       461       644    697.53     87.35      7.99   1000000         0
1519.39/1519.88	c       466       589    690.96     85.13      8.12   1000000         0
1521.19/1521.61	c       485       619    680.37     95.20      7.15   1000000         0
1522.89/1523.33	c       473       627    697.90     90.72      7.69   1000000         0
1524.59/1525.05	c       450       690    679.31     88.63      7.66   1000000         0
1526.29/1526.77	c       462       633    677.56    100.87      6.72   1000000         0
1527.99/1528.48	c       471       702    677.19    105.24      6.43   1000000         0
1529.79/1530.21	c       425       599    687.70    117.33      5.86   1000000         0
1531.48/1531.93	c       459       621    683.87    108.71      6.29   1000000         0
1533.18/1533.66	c       476       795    684.33     91.36      7.49   1000000         0
1534.88/1535.39	c       479       606    690.05     76.14      9.06   1000000         0
1536.68/1537.12	c       447       588    703.15     97.15      7.24   1000000         0
1538.39/1538.84	c       422       574    677.36    101.57      6.67   1000000         0
1540.08/1540.57	c       468       648    696.35     89.08      7.82   1000000         0
1541.79/1542.29	c       457       678    695.04     91.54      7.59   1000000         0
1543.58/1544.03	c       493       709    709.67     84.90      8.36   1000000         0
1545.28/1545.75	c       384       600    673.98     96.23      7.00   1000000         0
1546.98/1547.49	c       476       704    703.38     83.68      8.41   1000000         0
1548.78/1549.21	c       463       672    674.16     90.92      7.41   1000000         0
1550.49/1550.94	c       448       520    693.59     88.62      7.83   1000000         0
1552.18/1552.66	c       455       582    689.87    109.37      6.31   1000000         0
1553.89/1554.39	c       470       773    700.83     91.89      7.63   1000000         0
1555.69/1556.13	c       449       665    701.96     87.79      8.00   1000000         0
1557.39/1557.86	c       463       889    690.32    101.69      6.79   1000000         0
1559.09/1559.59	c       445       596    686.86     96.46      7.12   1000000         0
1560.89/1561.32	c       473       676    692.95    112.83      6.14   1000000         0
1562.59/1563.04	c       443       660    674.71    101.11      6.67   1000000         0
1564.28/1564.76	c       487       628    687.28     92.42      7.44   1000000         0
1565.99/1566.49	c       488       555    681.09     76.59      8.89   1000000         0
1567.78/1568.22	c       468       707    705.79     93.51      7.55   1000000         0
1569.48/1569.95	c       471       705    701.67    115.89      6.05   1000000         0
1571.18/1571.68	c       476       803    691.02     80.57      8.58   1000000         0
1572.98/1573.41	c       463       634    682.97     90.04      7.59   1000000         0
1574.69/1575.14	c       429       522    681.83    103.60      6.58   1000000         0
1576.38/1576.87	c       454       651    694.51     88.78      7.82   1000000         0
1578.18/1578.61	c       479       671    717.12     96.55      7.43   1000000         0
1579.88/1580.33	c       472       773    693.39    102.02      6.80   1000000         0
1581.58/1582.05	c       465       640    686.41    102.97      6.67   1000000         0
1583.28/1583.77	c       482       679    682.56     97.98      6.97   1000000         0
1585.08/1585.50	c       396       659    691.14     98.23      7.04   1000000         0
1586.78/1587.24	c       493       721    695.24     89.14      7.80   1000000         0
1588.48/1588.97	c       494       593    691.45     91.23      7.58   1000000         0
1590.18/1590.70	c       421       715    681.95    113.12      6.03   1000000         0
1591.97/1592.42	c       492       589    690.92     92.49      7.47   1000000         0
1593.67/1594.16	c       450       734    706.08     94.30      7.49   1000000         0
1595.37/1595.89	c       491       741    693.10     99.40      6.97   1000000         0
1597.17/1597.62	c       424       634    690.20    105.99      6.51   1000000         0
1598.88/1599.36	c       443       691    706.59     99.21      7.12   1000000         0
1600.57/1601.09	c       456       716    696.63    106.68      6.53   1000000         0
1602.37/1602.81	c       498       714    706.29    101.77      6.94   1000000         0
1604.07/1604.54	c       455       711    697.49    131.35      5.31   1000000         0
1605.77/1606.27	c       461       766    681.18     97.69      6.97   1000000         0
1607.57/1608.00	c       466       582    701.36    100.84      6.96   1000000         0
1609.27/1609.73	c       480       811    698.69     90.78      7.70   1000000         0
1610.98/1611.46	c       450       614    686.92     91.27      7.53   1000000         0
1612.67/1613.17	c       443       678    675.94     89.50      7.55   1000000         0
1614.47/1614.91	c       421       672    717.34     98.10      7.31   1000000         0
1616.17/1616.65	c       487       773    704.98     94.52      7.46   1000000         0
1617.87/1618.37	c       479       669    688.97     92.97      7.41   1000000         0
1619.67/1620.10	c       522       633    705.32     77.87      9.06   1000000         0
1621.37/1621.83	c       503       685    702.77    103.10      6.82   1000000         0
1623.07/1623.56	c       469       665    700.85     98.93      7.08   1000000         0
1624.77/1625.29	c       432       689    712.07     99.56      7.15   1000000         0
1626.57/1627.02	c       453       832    673.37     92.10      7.31   1000000         0
1628.27/1628.74	c       494       767    681.37     82.16      8.29   1000000         0
1629.97/1630.47	c       436       662    678.72    103.58      6.55   1000000         0
1631.67/1632.20	c       459       741    692.90    106.63      6.50   1000000         0
1633.46/1633.93	c       449       676    690.96    106.05      6.52   1000000         0
1635.17/1635.66	c       434       677    705.56    105.72      6.67   1000000         0
1636.86/1637.39	c       453       690    692.89     87.01      7.96   1000000         0
1638.66/1639.11	c       456       543    696.39     92.64      7.52   1000000         0
1640.36/1640.85	c       460       717    731.16    111.19      6.58   1000000         0
1642.06/1642.58	c       446       745    698.25    113.28      6.16   1000000         0
1643.86/1644.31	c       466       636    688.12     95.82      7.18   1000000         0
1645.56/1646.03	c       458       749    708.81     96.11      7.38   1000000         0
1647.27/1647.76	c       461       724    689.75     89.85      7.68   1000000         0
1648.96/1649.49	c       459       567    698.80    101.62      6.88   1000000         0
1650.76/1651.22	c       469       633    696.92    108.29      6.44   1000000         0
1652.46/1652.95	c       472       636    706.07     95.92      7.36   1000000         0
1654.16/1654.68	c       429       650    683.30     82.57      8.28   1000000         0
1655.96/1656.40	c       463       728    711.79     96.89      7.35   1000000         0
1657.66/1658.13	c       488       705    699.78    103.01      6.79   1000000         0
1659.36/1659.85	c       450       727    679.91     91.98      7.39   1000000         0
1661.06/1661.58	c       449       640    688.75     98.04      7.02   1000000         0
1662.86/1663.30	c       465       657    693.98     93.25      7.44   1000000         0
1664.56/1665.04	c       434       769    701.22    126.31      5.55   1000000         0
1666.26/1666.77	c       467       763    698.60    114.52      6.10   1000000         0
1668.06/1668.50	c       502       598    702.27     81.58      8.61   1000000         0
1669.75/1670.23	c       423       725    700.73    125.19      5.60   1000000         0
1671.46/1671.96	c       456       571    693.01    105.48      6.57   1000000         0
1673.15/1673.68	c       438       682    681.80     89.19      7.64   1000000         0
1674.95/1675.40	c       494       594    697.63     96.11      7.26   1000000         0
1676.65/1677.12	c       438       728    677.84     92.74      7.31   1000000         0
1678.35/1678.85	c       481       729    702.68    100.97      6.96   1000000         0
1680.05/1680.58	c       466       614    709.01     95.24      7.44   1000000         0
1681.85/1682.31	c       427       779    689.55    116.01      5.94   1000000         0
1683.56/1684.04	c       474       683    686.27     99.75      6.88   1000000         0
1685.25/1685.76	c       471       635    684.21    103.94      6.58   1000000         0
1687.05/1687.50	c       500       788    715.67     96.52      7.42   1000000         0
1688.75/1689.23	c       443       647    706.35    112.73      6.27   1000000         0
1690.45/1690.96	c       450       739    694.87    109.29      6.36   1000000         0
1692.15/1692.68	c       512       580    700.46     95.65      7.32   1000000         0
1693.95/1694.41	c       427       632    679.61    108.39      6.27   1000000         0
1695.65/1696.15	c       478       622    698.29    108.17      6.46   1000000         0
1697.35/1697.87	c       478       683    677.62     83.47      8.12   1000000         0
1699.15/1699.60	c       503       707    697.43     92.91      7.51   1000000         0
1700.85/1701.33	c       434       623    688.66    102.40      6.73   1000000         0
1702.54/1703.07	c       441       705    692.23     90.17      7.68   1000000         0
1704.24/1704.79	c       512       648    692.39     95.93      7.22   1000000         0
1706.04/1706.52	c       431       665    689.18    100.61      6.85   1000000         0
1707.75/1708.24	c       434       752    684.95    103.06      6.65   1000000         0
1709.44/1709.98	c       467       759    693.38     87.09      7.96   1000000         0
1711.24/1711.70	c       444       699    688.88    111.12      6.20   1000000         0
1712.94/1713.43	c       432       665    698.39    100.19      6.97   1000000         0
1714.64/1715.15	c       455       561    678.33     91.71      7.40   1000000         0
1716.34/1716.87	c       456       755    695.80     98.99      7.03   1000000         0
1718.14/1718.60	c       447       722    690.83    107.19      6.45   1000000         0
1719.85/1720.33	c       447       780    694.69     91.37      7.60   1000000         0
1721.54/1722.05	c       499       722    696.78    105.88      6.58   1000000         0
1723.25/1723.78	c       488       735    695.73    104.28      6.67   1000000         0
1725.04/1725.50	c       482       851    681.71     84.48      8.07   1000000         0
1726.74/1727.24	c       501       761    727.20     96.44      7.54   1000000         0
1728.44/1728.96	c       479       732    686.09    100.76      6.81   1000000         0
1730.24/1730.70	c       455       666    693.00    120.59      5.75   1000000         0
1731.94/1732.42	c       439       631    686.19    103.02      6.66   1000000         0
1733.63/1734.14	c       504       800    707.66     92.53      7.65   1000000         0
1735.34/1735.86	c       447       780    671.81     81.95      8.20   1000000         0
1737.03/1737.59	c       483       614    701.73     87.09      8.06   1000000         0
1738.83/1739.32	c       476       756    689.32     97.66      7.06   1000000         0
1740.53/1741.04	c       457       641    698.34    102.02      6.84   1000000         0
1742.23/1742.78	c       455       600    710.68    124.38      5.71   1000000         0
1743.93/1744.49	c       502       651    683.28     82.50      8.28   1000000         0
1745.73/1746.22	c       514       811    706.32     94.43      7.48   1000000         0
1747.44/1747.95	c       468       826    692.55    102.51      6.76   1000000         0
1749.13/1749.68	c       485       660    693.99    102.69      6.76   1000000         0
1750.93/1751.41	c       496       748    692.96     99.59      6.96   1000000         0
1752.63/1753.13	c       507       625    694.99     89.58      7.76   1000000         0
1754.33/1754.87	c       471       738    713.84    109.05      6.55   1000000         0
1756.03/1756.59	c       432       718    703.37     92.10      7.64   1000000         0
1757.83/1758.31	c       481       753    678.33     78.97      8.59   1000000         0
1759.53/1760.04	c       430       622    711.54     89.34      7.96   1000000         0
1761.23/1761.77	c       466       575    708.46    102.96      6.88   1000000         0
1762.92/1763.49	c       427       606    697.12    103.46      6.74   1000000         0
1764.72/1765.22	c       474       756    697.65     90.55      7.70   1000000         0
1766.42/1766.94	c       468       575    668.86     95.27      7.02   1000000         0
1768.12/1768.68	c       477       656    721.99     86.14      8.38   1000000         0
1769.92/1770.41	c       480       713    703.04    100.57      6.99   1000000         0
1771.63/1772.14	c       455       724    688.81     97.12      7.09   1000000         0
1773.32/1773.86	c       471       643    684.46     95.85      7.14   1000000         0
1775.12/1775.60	c       504       627    713.94     97.68      7.31   1000000         0
1776.82/1777.33	c       494       629    686.65    108.44      6.33   1000000         0
1778.52/1779.05	c       482       663    685.26     97.72      7.01   1000000         0
1780.22/1780.78	c       493       698    695.19     99.94      6.96   1000000         0
1782.02/1782.51	c       498       686    706.50     93.93      7.52   1000000         0
1783.73/1784.24	c       517       622    708.69     78.95      8.98   1000000         0
1785.42/1785.96	c       493       753    694.99     88.35      7.87   1000000         0
1787.12/1787.69	c       465       791    697.23    108.81      6.41   1000000         0
1788.92/1789.41	c       441       649    672.34     82.80      8.12   1000000         0
1790.62/1791.14	c       494       642    699.52     94.45      7.41   1000000         0
1792.32/1792.87	c       458       763    687.18     97.38      7.06   1000000         0
1794.02/1794.59	c       460       644    689.81     94.42      7.31   1000000         0
1795.82/1796.33	c       467       660    700.55     90.06      7.78   1000000         0
1797.52/1798.04	c       472       617    677.77     87.18      7.77   1000000         0
1799.22/1799.77	c       466       682    678.44     98.72      6.87   1000000         0
1800.02/1800.51	HOME/run: line 2: 19881 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-2685252-1278440357/watcher-2685252-1278440357 -o /tmp/evaluation-result-2685252-1278440357/solver-2685252-1278440357 -C 1800 -W 2000 -M 1800 run HOME/instance-2685252-1278440357.opb 

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


[startup+0 s]
/proc/loadavg: 1.09 1.03 1.01 3/106 19880
/proc/meminfo: memFree=1753628/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0

[startup+0.0286011 s]
/proc/loadavg: 1.09 1.03 1.01 3/106 19880
/proc/meminfo: memFree=1753628/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100607 s]
/proc/loadavg: 1.09 1.03 1.01 3/106 19880
/proc/meminfo: memFree=1753628/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300622 s]
/proc/loadavg: 1.09 1.03 1.01 3/106 19880
/proc/meminfo: memFree=1753628/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700655 s]
/proc/loadavg: 1.09 1.03 1.01 3/106 19880
/proc/meminfo: memFree=1753628/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50072 s]
/proc/loadavg: 1.09 1.03 1.01 2/108 19882
/proc/meminfo: memFree=1747412/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1.48
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1577 0 0 0 148 0 0 0 25 0 1 0 12249451 41422848 1507 1992294400 134512640 135071400 4287188288 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1507 62 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10085 s]
/proc/loadavg: 1.08 1.03 1.01 2/108 19882
/proc/meminfo: memFree=1747164/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=3.08
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1585 0 0 0 308 0 0 0 25 0 1 0 12249451 41422848 1515 1992294400 134512640 135071400 4287188288 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1515 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30111 s]
/proc/loadavg: 1.08 1.03 1.01 2/108 19882
/proc/meminfo: memFree=1747040/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=6.28
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1585 0 0 0 628 0 0 0 25 0 1 0 12249451 41422848 1515 1992294400 134512640 135071400 4287188288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1515 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7016 s]
/proc/loadavg: 1.07 1.03 1.01 2/108 19883
/proc/meminfo: memFree=1746916/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=12.68
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1585 0 0 0 1268 0 0 0 25 0 1 0 12249451 41422848 1515 1992294400 134512640 135071400 4287188288 18446744073709551615 134526967 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1515 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.06 1.03 1.00 2/108 19883
/proc/meminfo: memFree=1746916/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=25.48
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1585 0 0 0 2548 0 0 0 25 0 1 0 12249451 41422848 1515 1992294400 134512640 135071400 4287188288 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1515 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1008 s]
/proc/loadavg: 1.04 1.02 1.00 2/108 19884
/proc/meminfo: memFree=1746916/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=51.07
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1585 0 0 0 5107 0 0 0 25 0 1 0 12249451 41422848 1515 1992294400 134512640 135071400 4287188288 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1515 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.02 1.00 2/108 19885
/proc/meminfo: memFree=1746668/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=102.27
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 10227 0 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 19887
/proc/meminfo: memFree=1746544/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=162.24
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 16224 0 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 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.01 1.00 3/108 19888
/proc/meminfo: memFree=1746544/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=222.23
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 22223 0 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/108 19890
/proc/meminfo: memFree=1746544/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=282.21
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 28221 0 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.08 1.03 1.00 2/108 19892
/proc/meminfo: memFree=1746420/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=342.2
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 34220 0 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 1.08 1.04 1.00 2/108 19893
/proc/meminfo: memFree=1746296/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=402.19
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 40218 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=19881] ppid=19880 vsize=40452 CPUtime=1122.01
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 112200 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19914
/proc/meminfo: memFree=1744560/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1181.98
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 118197 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19916
/proc/meminfo: memFree=1744312/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1241.97
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 124196 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19917
/proc/meminfo: memFree=1744188/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1301.96
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 130195 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19919
/proc/meminfo: memFree=1744064/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1361.93
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 136192 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19920
/proc/meminfo: memFree=1743940/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1421.92
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 142191 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19922
/proc/meminfo: memFree=1743940/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1481.9
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 148189 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19924
/proc/meminfo: memFree=1743692/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1541.88
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 154187 1 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134536895 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19925
/proc/meminfo: memFree=1743568/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1601.87
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 160185 2 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19927
/proc/meminfo: memFree=1743568/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1661.86
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 166184 2 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19928
/proc/meminfo: memFree=1743320/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1721.84
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 172182 2 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19930
/proc/meminfo: memFree=1743196/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1781.82
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 178180 2 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526666 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19930
/proc/meminfo: memFree=1743196/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1800.02
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 180000 2 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19930
/proc/meminfo: memFree=1743196/2059040 swapFree=4192956/4192956
[pid=19880] ppid=19878 vsize=8700 CPUtime=0
/proc/19880/stat : 19880 (run) S 19878 19880 19027 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12249450 8908800 243 1992294400 4194304 4922060 140733700094672 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19880/statm: 2175 243 204 178 0 68 0
[pid=19881] ppid=19880 vsize=40452 CPUtime=1800.02
/proc/19881/stat : 19881 (PB-wave) R 19880 19880 19027 0 -1 4202496 1586 0 0 0 180000 2 0 0 25 0 1 0 12249451 41422848 1516 1992294400 134512640 135071400 4287188288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19881/statm: 10113 1516 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 2.86956 second user time and 8.67568 second system time

The end

Launcher Data 

Begin job on node003 at 2010-07-06 20:19:17
IDJOB=2685252
IDBENCH=75100
IDSOLVER=1171
FILE ID=node003/2685252-1278440357
PBS_JOBID= 11233467
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= 55b8067ae8df952812934475200b69c4
RANDOM SEED=2026947262

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1754148 kB
Buffers:         26544 kB
Cached:         146980 kB
SwapCached:          0 kB
Active:          79112 kB
Inactive:       154688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1754148 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2284 kB
Writeback:           0 kB
AnonPages:       60216 kB
Mapped:          14420 kB
Slab:            49164 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179696 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= 62568 MiB
End job on node003 at 2010-07-06 20:49:18