Trace number 2684832

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12015_3-unsat.opb
MD5SUMfb0fc5066c2899699e0ea4a2b024975c
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.31995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21054
Total number of constraints66352
Number of constraints which are clauses66008
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints344
Minimum length of a constraint1
Maximum length of a constraint93
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 46
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 599
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.18	c PB-wave - v2
0.00/0.18	c command line = ./PB-wave
0.00/0.18	c seed = 100346513
0.00/0.18	c cutoff = 1000000
0.00/0.18	c tries = 1000000
0.00/0.18	c heuristic = c best, noise 50 / 100
0.00/0.18	#var 21054 #con 66352
0.00/0.18	mode is SAT
0.00/0.18	c tail starts after flip = 63162
0.00/0.18	c numatom = 21054, numclause = 66352, numliterals = 172137
0.00/0.18	c wff read in
0.00/0.18	c 
0.00/0.18	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.18	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.18	c       this      this      this      this      this      this   success   success       until         std
0.00/0.18	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.18	c
2.09/2.16	c       654       889    924.34    122.25      7.56   1000000         0
4.09/4.14	c       669       864    937.87    129.81      7.23   1000000         0
6.09/6.13	c       707       913    941.49    128.44      7.33   1000000         0
8.09/8.13	c       667       893    969.80    146.00      6.64   1000000         0
10.08/10.11	c       659       885    927.97    120.50      7.70   1000000         0
11.99/12.10	c       737       914    947.54    116.28      8.15   1000000         0
13.98/14.09	c       692       921    937.89    126.21      7.43   1000000         0
15.98/16.08	c       725       917    946.78    154.59      6.12   1000000         0
17.98/18.06	c       650       965    931.38    135.65      6.87   1000000         0
19.98/20.03	c       711       957    930.11    140.42      6.62   1000000         0
21.99/22.01	c       659       843    922.04    103.34      8.92   1000000         0
23.98/24.00	c       649       987    934.34    129.31      7.23   1000000         0
25.88/25.98	c       700       950    948.97    105.98      8.95   1000000         0
27.88/27.97	c       707       932    944.19    131.00      7.21   1000000         0
29.88/29.95	c       622      1030    947.82    132.55      7.15   1000000         0
31.89/31.95	c       625       910    953.40    137.12      6.95   1000000         0
33.88/33.93	c       640       762    911.97    132.09      6.90   1000000         0
35.88/35.91	c       704       954    933.88    134.63      6.94   1000000         0
37.88/37.90	c       711       927    942.34    139.65      6.75   1000000         0
39.78/39.88	c       662       913    916.83    113.46      8.08   1000000         0
41.78/41.87	c       700       906    956.45    117.95      8.11   1000000         0
43.78/43.85	c       643       869    930.87    119.68      7.78   1000000         0
45.78/45.83	c       709      1016    952.88    111.41      8.55   1000000         0
47.78/47.81	c       638       913    920.87    131.15      7.02   1000000         0
49.78/49.80	c       664       844    934.63    152.95      6.11   1000000         0
51.68/51.79	c       691       990    935.03    135.27      6.91   1000000         0
53.67/53.78	c       638       986    941.93    144.11      6.54   1000000         0
55.67/55.75	c       658       855    928.03    107.60      8.63   1000000         0
57.67/57.73	c       648       939    931.74    140.10      6.65   1000000         0
59.67/59.70	c       682      1052    920.04    100.62      9.14   1000000         0
61.58/61.68	c       673       967    910.72    126.54      7.20   1000000         0
63.57/63.65	c       684      1057    917.07    130.46      7.03   1000000         0
65.57/65.64	c       711       866    943.72    129.40      7.29   1000000         0
67.57/67.62	c       595       777    931.14    115.05      8.09   1000000         0
69.47/69.59	c       689       967    925.92    107.33      8.63   1000000         0
71.48/71.56	c       674       893    902.35    120.42      7.49   1000000         0
73.47/73.55	c       712       886    937.59    128.01      7.32   1000000         0
75.47/75.52	c       646       863    918.28    115.67      7.94   1000000         0
77.47/77.51	c       689       923    952.35    142.65      6.68   1000000         0
79.47/79.51	c       729      1050    957.68    136.78      7.00   1000000         0
81.37/81.49	c       645       936    915.21    132.69      6.90   1000000         0
83.37/83.47	c       634       925    927.60    123.81      7.49   1000000         0
85.37/85.46	c       696       811    939.48    133.58      7.03   1000000         0
87.37/87.45	c       651       929    931.75    115.53      8.07   1000000         0
89.37/89.43	c       698       877    922.80    114.00      8.09   1000000         0
91.37/91.40	c       671      1006    915.88    123.03      7.44   1000000         0
93.26/93.39	c       702       935    946.78    122.64      7.72   1000000         0
95.26/95.38	c       699      1001    948.49    135.83      6.98   1000000         0
97.26/97.37	c       724       945    955.31    121.24      7.88   1000000         0
99.26/99.35	c       694       816    924.88    128.83      7.18   1000000         0
101.26/101.34	c       646       908    952.25    123.24      7.73   1000000         0
103.27/103.32	c       661       892    922.77    121.84      7.57   1000000         0
105.26/105.30	c       674       987    921.43    148.20      6.22   1000000         0
107.16/107.29	c       679       857    950.30    136.88      6.94   1000000         0
109.16/109.27	c       602       960    924.91    142.60      6.49   1000000         0
111.16/111.25	c       667       981    929.86    131.42      7.08   1000000         0
113.17/113.23	c       642       872    919.76    114.31      8.05   1000000         0
115.16/115.20	c       670       896    919.34    101.76      9.03   1000000         0
117.06/117.19	c       665       938    930.33    150.88      6.17   1000000         0
119.06/119.17	c       675       899    939.61    146.91      6.40   1000000         0
121.06/121.18	c       692       725    969.15    123.90      7.82   1000000         0
123.06/123.16	c       643       937    937.15    151.24      6.20   1000000         0
125.06/125.14	c       646       866    923.28    128.86      7.16   1000000         0
127.06/127.12	c       660       884    923.54    148.27      6.23   1000000         0
129.06/129.10	c       656       935    918.84    131.76      6.97   1000000         0
130.96/131.08	c       710       861    943.50    112.26      8.40   1000000         0
132.96/133.06	c       663       861    922.12    164.94      5.59   1000000         0
134.95/135.04	c       658       939    916.57    117.87      7.78   1000000         0
136.95/137.02	c       683       787    924.90    120.32      7.69   1000000         0
138.85/138.99	c       684       938    920.22    108.22      8.50   1000000         0
140.85/140.97	c       652       909    916.37    137.17      6.68   1000000         0
142.86/142.95	c       675       845    941.95    140.19      6.72   1000000         0
144.85/144.94	c       700       998    930.79    105.81      8.80   1000000         0
146.85/146.93	c       729       759    950.09    132.18      7.19   1000000         0
148.85/148.91	c       687       947    935.01    138.40      6.76   1000000         0
150.75/150.88	c       647      1106    912.79    119.40      7.65   1000000         0
152.76/152.86	c       649       882    915.58    141.33      6.48   1000000         0
154.75/154.83	c       604       837    920.37    170.38      5.40   1000000         0
156.75/156.82	c       674       832    957.36    133.17      7.19   1000000         0
158.65/158.79	c       672       838    916.31    143.85      6.37   1000000         0
160.65/160.78	c       662      1014    942.70    143.59      6.57   1000000         0
162.65/162.76	c       670       906    927.26    139.62      6.64   1000000         0
164.65/164.73	c       641       986    925.16    132.64      6.97   1000000         0
166.65/166.71	c       653       999    917.87    159.75      5.75   1000000         0
168.65/168.70	c       672       868    942.97    119.78      7.87   1000000         0
170.55/170.68	c       722      1016    944.05    134.89      7.00   1000000         0
172.55/172.66	c       661       807    917.60    113.14      8.11   1000000         0
174.54/174.64	c       680       822    941.07    132.76      7.09   1000000         0
176.54/176.63	c       681       944    945.55    135.41      6.98   1000000         0
178.54/178.61	c       651       836    926.28    140.04      6.61   1000000         0
180.44/180.59	c       652       951    915.33    115.59      7.92   1000000         0
182.45/182.58	c       639       969    958.39    131.65      7.28   1000000         0
184.44/184.58	c       716       866    953.47    142.75      6.68   1000000         0
186.44/186.55	c       671       918    927.71    139.69      6.64   1000000         0
188.44/188.52	c       701       828    917.88    111.93      8.20   1000000         0
190.44/190.50	c       661       966    918.88    132.37      6.94   1000000         0
192.35/192.48	c       667       907    912.80    121.65      7.50   1000000         0
194.34/194.46	c       694       898    934.46    131.48      7.11   1000000         0
196.34/196.45	c       687       977    952.23    120.84      7.88   1000000         0
198.34/198.44	c       715       884    953.03    133.41      7.14   1000000         0
200.34/200.42	c       677       966    936.84    126.16      7.43   1000000         0
202.35/202.42	c       719       957    943.52    128.50      7.34   1000000         0
204.34/204.40	c       661       937    942.71    121.97      7.73   1000000         0
206.24/206.38	c       673       888    929.31    118.79      7.82   1000000         0
208.24/208.37	c       625       877    941.79    132.57      7.10   1000000         0
210.24/210.35	c       690       818    944.48    142.52      6.63   1000000         0
212.24/212.33	c       573       817    915.45    137.75      6.65   1000000         0
214.24/214.30	c       583       864    903.92    134.36      6.73   1000000         0
216.14/216.28	c       602       899    928.26    148.47      6.25   1000000         0
218.13/218.26	c       662       882    930.43    117.33      7.93   1000000         0
220.13/220.23	c       587       799    929.36    128.59      7.23   1000000         0
222.14/222.21	c       711       884    944.43    116.97      8.07   1000000         0
224.13/224.20	c       669       811    958.48    127.07      7.54   1000000         0
226.03/226.18	c       659       886    925.50    107.68      8.59   1000000         0
228.03/228.16	c       654       832    923.68    107.09      8.63   1000000         0
230.03/230.16	c       676       899    958.17    136.31      7.03   1000000         0
232.04/232.14	c       643      1047    937.75    120.12      7.81   1000000         0
234.03/234.12	c       659      1037    928.52    134.02      6.93   1000000         0
236.03/236.10	c       600       853    921.29    123.27      7.47   1000000         0
237.93/238.08	c       681       919    948.76    141.77      6.69   1000000         0
239.93/240.06	c       670       882    945.89    129.95      7.28   1000000         0
241.94/242.04	c       586       880    924.41    133.93      6.90   1000000         0
243.93/244.02	c       654       820    952.19    136.92      6.95   1000000         0
245.83/246.00	c       675      1063    932.70    124.57      7.49   1000000         0
247.83/247.99	c       669       938    929.69    119.35      7.79   1000000         0
249.83/249.96	c       648       865    926.45    128.27      7.22   1000000         0
251.83/251.94	c       678       934    934.16    107.58      8.68   1000000         0
253.83/253.93	c       670       797    928.46    146.91      6.32   1000000         0
255.83/255.91	c       672       798    944.17    110.77      8.52   1000000         0
257.82/257.90	c       715       960    961.81    139.36      6.90   1000000         0
259.72/259.89	c       670       907    938.23    124.66      7.53   1000000         0
261.73/261.87	c       699       965    931.65    140.66      6.62   1000000         0
263.72/263.86	c       665       723    941.22    125.18      7.52   1000000         0
265.72/265.84	c       612       902    917.42    130.34      7.04   1000000         0
267.72/267.81	c       703       922    917.70    115.59      7.94   1000000         0
269.73/269.80	c       648       896    949.54    120.19      7.90   1000000         0
271.64/271.78	c       653      1062    933.45    138.23      6.75   1000000         0
273.63/273.77	c       686       805    933.73    137.41      6.80   1000000         0
275.63/275.77	c       620       893    960.16    118.03      8.14   1000000         0
277.63/277.74	c       638       951    902.09    116.51      7.74   1000000         0
279.63/279.72	c       655      1040    933.41    124.02      7.53   1000000         0
281.63/281.71	c       654       759    922.77    132.80      6.95   1000000         0
283.63/283.70	c       672      1038    946.85    140.02      6.76   1000000         0
285.53/285.67	c       664       969    915.88    123.48      7.42   1000000         0
287.53/287.65	c       679       912    935.07    121.78      7.68   1000000         0
289.52/289.64	c       687       932    929.14    123.83      7.50   1000000         0
291.52/291.62	c       693      1060    947.93    136.24      6.96   1000000         0
293.53/293.61	c       615       798    946.36    130.56      7.25   1000000         0
295.42/295.59	c       698       831    925.06    123.30      7.50   1000000         0
297.42/297.57	c       688      1003    917.92    115.08      7.98   1000000         0
299.42/299.54	c       666       912    927.37    137.43      6.75   1000000         0
301.42/301.52	c       669       886    915.48    117.78      7.77   1000000         0
303.43/303.52	c       670       839    972.17    136.19      7.14   1000000         0
305.42/305.50	c       714       820    932.75    113.36      8.23   1000000         0
307.32/307.47	c       679      1006    913.52     98.19      9.30   1000000         0
309.32/309.47	c       678       928    957.92    138.70      6.91   1000000         0
311.32/311.45	c       680       827    929.58    121.36      7.66   1000000         0
313.33/313.43	c       684       949    927.43    135.51      6.84   1000000         0
315.32/315.42	c       631       941    971.83    150.62      6.45   1000000         0
317.32/317.41	c       678       817    931.88    138.80      6.71   1000000         0
319.32/319.40	c       688       848    960.97    152.37      6.31   1000000         0
321.22/321.38	c       613       857    921.82    140.75      6.55   1000000         0
323.22/323.36	c       639       923    919.64    132.38      6.95   1000000         0
325.22/325.33	c       684       825    913.30    127.17      7.18   1000000         0
327.22/327.31	c       730      1085    945.41    115.55      8.18   1000000         0
329.11/329.29	c       647       992    941.65    127.20      7.40   1000000         0
331.11/331.28	c       720       924    942.64    117.25      8.04   1000000         0
333.12/333.26	c       685       976    920.73    147.48      6.24   1000000         0
335.11/335.24	c       650       876    920.29    133.00      6.92   1000000         0
337.11/337.22	c       655       824    926.42    134.43      6.89   1000000         0
339.11/339.21	c       614       874    931.86    131.95      7.06   1000000         0
341.01/341.19	c       692      1055    931.29    119.77      7.78   1000000         0
343.02/343.17	c       672       889    917.39    117.77      7.79   1000000         0
345.01/345.15	c       664       885    917.31    156.23      5.87   1000000         0
347.01/347.12	c       709       915    914.05    129.87      7.04   1000000         0
349.01/349.11	c       651       933    933.48    114.91      8.12   1000000         0
350.91/351.09	c       654       796    917.09    133.28      6.88   1000000         0
352.92/353.08	c       657       863    942.10    132.63      7.10   1000000         0
354.91/355.06	c       695       840    947.29    140.50      6.74   1000000         0
356.91/357.05	c       676       981    958.08    151.72      6.31   1000000         0
358.91/359.04	c       653       870    946.58    126.09      7.51   1000000         0
360.91/361.03	c       662      1050    953.63    134.83      7.07   1000000         0
362.91/363.01	c       710       971    931.81    123.26      7.56   1000000         0
364.81/365.00	c       687       881    930.83    146.12      6.37   1000000         0
366.81/366.98	c       703       899    953.37    134.35      7.10   1000000         0
368.80/368.99	c       729       849    983.56    150.70      6.53   1000000         0
370.80/370.97	c       658       900    925.34    122.68      7.54   1000000         0
372.81/372.95	c       670       992    925.54    125.95      7.35   1000000         0
374.80/374.94	c       704       908    953.45    137.70      6.92   1000000         0
376.80/376.93	c       669       742    952.10    132.42      7.19   1000000         0
378.80/378.92	c       693       821    943.33    111.47      8.46   1000000         0
380.70/380.89	c       619      1030    910.53    139.02      6.55   1000000         0
382.71/382.87	c       676       974    937.68    129.07      7.26   1000000         0
384.70/384.86	c       689      1000    932.14    133.56      6.98   1000000         0
386.70/386.85	c       682       854    945.17    130.29      7.25   1000000         0
388.70/388.84	c       722       930    957.52    124.04      7.72   1000000         0
390.70/390.83	c       698       814    941.33    139.05      6.77   1000000         0
392.70/392.82	c       720       883    948.14    129.22      7.34   1000000         0
394.71/394.80	c       665       794    930.05    117.01      7.95   1000000         0
396.60/396.78	c       692       857    930.68    121.65      7.65   1000000         0
398.60/398.76	c       645       694    932.14    147.98      6.30   1000000         0
400.60/400.75	c       673       925    951.83    124.97      7.62   1000000         0
402.60/402.73	c       655       978    914.98    108.77      8.41   1000000         0
404.60/404.71	c       648       932    946.95    144.48      6.55   1000000         0
406.60/406.70	c       719       901    943.94    122.64      7.70   1000000         0
408.50/408.69	c       626       996    937.35    142.97      6.56   1000000         0
410.50/410.67	c       705       872    931.99    117.73      7.92   1000000         0
412.50/412.65	c       631       855    921.71    151.38      6.09   1000000         0
414.50/414.64	c       728       949    955.52    115.62      8.26   1000000         0
416.49/416.61	c       673       996    912.43    120.57      7.57   1000000         0
418.39/418.58	c       681       880    902.40    106.29      8.49   1000000         0
420.39/420.57	c       714       927    966.35    130.89      7.38   1000000         0
422.39/422.54	c       647       836    924.83    121.30      7.62   1000000         0
424.40/424.53	c       645       862    931.79    134.01      6.95   1000000         0
426.39/426.50	c       593       893    926.84    137.89      6.72   1000000         0
428.39/428.50	c       654      1014    955.71    141.66      6.75   1000000         0
430.29/430.47	c       699       868    934.27    139.35      6.70   1000000         0
432.29/432.45	c       708      1067    919.58    116.01      7.93   1000000         0
434.30/434.43	c       614       799    934.66    150.80      6.20   1000000         0
436.29/436.41	c       704       867    940.55    132.65      7.09   1000000         0
438.29/438.40	c       623       779    922.48    142.14      6.49   1000000         0
440.19/440.38	c       646       911    926.82    113.35      8.18   1000000         0
442.19/442.36	c       695       855    948.25    128.95      7.35   1000000         0
444.20/444.35	c       648       831    947.94    144.17      6.58   1000000         0
446.19/446.32	c       657       893    907.17    133.85      6.78   1000000         0
448.19/448.31	c       700       827    932.75    137.82      6.77   1000000         0
450.09/450.29	c       687       898    920.67    121.23      7.59   1000000         0
452.09/452.27	c       682       934    942.20    142.71      6.60   1000000         0
454.09/454.27	c       724      1023    944.33    159.99      5.90   1000000         0
456.08/456.26	c       638       850    937.21    181.08      5.18   1000000         0
458.08/458.24	c       686       870    939.25    115.53      8.13   1000000         0
460.09/460.22	c       712       996    935.23    119.32      7.84   1000000         0
462.08/462.21	c       699       984    921.35    120.65      7.64   1000000         0
463.99/464.18	c       689       918    913.11    104.30      8.75   1000000         0
465.98/466.17	c       702       896    951.13    127.21      7.48   1000000         0
467.98/468.16	c       638       805    929.90    156.98      5.92   1000000         0
469.98/470.15	c       683       817    934.42    135.38      6.90   1000000         0
471.98/472.14	c       670       989    948.41    139.84      6.78   1000000         0
473.99/474.12	c       647       819    916.57    117.81      7.78   1000000         0
475.98/476.10	c       685       907    927.90    112.07      8.28   1000000         0
477.88/478.09	c       690       888    945.56    143.33      6.60   1000000         0
479.88/480.07	c       677       853    923.15    131.84      7.00   1000000         0
481.88/482.05	c       638       910    943.34    147.92      6.38   1000000         0
483.89/484.02	c       666      1057    911.25    119.46      7.63   1000000         0
485.88/486.02	c       661      1060    944.26    173.42      5.44   1000000         0
487.88/488.00	c       706       941    936.55    128.34      7.30   1000000         0
489.78/489.97	c       667      1055    925.09    127.18      7.27   1000000         0
491.78/491.96	c       705       922    952.60    140.86      6.76   1000000         0
493.78/493.94	c       688       787    953.02    127.80      7.46   1000000         0
495.78/495.92	c       662       981    935.07    122.12      7.66   1000000         0
497.78/497.92	c       697       956    960.60    121.82      7.89   1000000         0
499.78/499.91	c       652       841    942.70    155.95      6.04   1000000         0
501.77/501.90	c       731       940    945.87    114.83      8.24   1000000         0
503.68/503.87	c       620       953    917.93    134.68      6.82   1000000         0
505.67/505.86	c       620       849    943.85    142.48      6.62   1000000         0
507.67/507.86	c       631       956    962.01    149.52      6.43   1000000         0
509.67/509.85	c       697       959    951.26    133.00      7.15   1000000         0
511.67/511.83	c       648       938    930.89    124.29      7.49   1000000         0
513.67/513.80	c       645       876    914.59    129.87      7.04   1000000         0
515.57/515.78	c       624       913    929.64    133.07      6.99   1000000         0
517.57/517.77	c       704       955    963.03    146.80      6.56   1000000         0
519.57/519.76	c       657       874    926.64    126.54      7.32   1000000         0
521.57/521.73	c       683       816    917.22    118.49      7.74   1000000         0
523.57/523.71	c       633       788    937.25    135.92      6.90   1000000         0
525.58/525.70	c       626       897    937.70    139.63      6.72   1000000         0
527.47/527.68	c       633       867    939.50    131.30      7.16   1000000         0
529.47/529.67	c       700       901    957.27    131.81      7.26   1000000         0
531.47/531.66	c       683       843    933.47    121.84      7.66   1000000         0
533.47/533.65	c       683       879    950.93    132.13      7.20   1000000         0
535.47/535.62	c       562       895    915.60    135.05      6.78   1000000         0
537.47/537.60	c       641       911    932.37    157.60      5.92   1000000         0
539.46/539.60	c       689       746    943.78    128.43      7.35   1000000         0
541.36/541.58	c       692       929    944.06    126.50      7.46   1000000         0
543.36/543.56	c       632       833    910.17    118.39      7.69   1000000         0
545.37/545.52	c       661       749    903.92    142.57      6.34   1000000         0
547.36/547.51	c       707       933    948.88    129.62      7.32   1000000         0
549.26/549.48	c       666       888    912.27    127.00      7.18   1000000         0
551.26/551.46	c       667       783    928.83    123.35      7.53   1000000         0
553.26/553.44	c       611       938    932.24    158.20      5.89   1000000         0
555.27/555.43	c       649      1015    939.99    147.45      6.38   1000000         0
557.26/557.42	c       645       782    935.36    131.26      7.13   1000000         0
559.26/559.41	c       679       999    925.61    118.07      7.84   1000000         0
561.16/561.38	c       633       989    923.14    115.80      7.97   1000000         0
563.16/563.37	c       707       884    935.66    124.77      7.50   1000000         0
565.17/565.35	c       643       908    924.27    115.04      8.03   1000000         0
567.16/567.33	c       642       930    940.14    148.67      6.32   1000000         0
569.16/569.31	c       635      1075    946.69    151.93      6.23   1000000         0
571.06/571.29	c       621       899    915.75    139.92      6.54   1000000         0
573.06/573.26	c       685       955    909.56    130.08      6.99   1000000         0
575.06/575.24	c       692       865    942.19    123.22      7.65   1000000         0
577.06/577.21	c       624      1089    928.04    124.71      7.44   1000000         0
578.96/579.19	c       670       769    938.12    130.73      7.18   1000000         0
580.96/581.16	c       685       872    936.69    121.11      7.73   1000000         0
582.96/583.13	c       638       922    909.35    120.14      7.57   1000000         0
584.96/585.11	c       681      1058    928.86    129.06      7.20   1000000         0
586.85/587.08	c       730       932    921.48    101.52      9.08   1000000         0
588.85/589.06	c       652       948    947.87    159.54      5.94   1000000         0
590.85/591.03	c       665       859    911.07    119.50      7.62   1000000         0
592.85/593.01	c       731       994    933.03    128.35      7.27   1000000         0
594.75/594.99	c       654       838    918.07    125.78      7.30   1000000         0
596.75/596.96	c       650       956    927.33    131.00      7.08   1000000         0
598.75/598.94	c       676       870    940.52    154.21      6.10   1000000         0
600.75/600.92	c       657      1053    918.74    133.14      6.90   1000000         0
602.75/602.90	c       676       966    932.72    141.74      6.58   1000000         0
604.65/604.89	c       710       935    953.49    117.25      8.13   1000000         0
606.65/606.86	c       642       895    918.82    109.94      8.36   1000000         0
608.65/608.84	c       664       979    931.84    109.67      8.50   1000000         0
610.65/610.80	c       635       954    899.41    122.47      7.34   1000000         0
612.55/612.79	c       700       852    940.21    127.73      7.36   1000000         0
614.55/614.77	c       698       836    934.22    107.75      8.67   1000000         0
616.55/616.75	c       645       908    927.19    135.13      6.86   1000000         0
618.55/618.74	c       710       996    960.41    132.63      7.24   1000000         0
620.55/620.73	c       634       945    948.40    165.28      5.74   1000000         0
622.45/622.70	c       660       897    904.28    115.61      7.82   1000000         0
624.44/624.66	c       638       826    924.83    126.78      7.29   1000000         0
626.44/626.64	c       671       731    932.77    140.52      6.64   1000000         0
628.44/628.63	c       706      1074    934.73    124.17      7.53   1000000         0
630.44/630.62	c       677      1053    948.20    120.12      7.89   1000000         0
632.44/632.60	c       668       781    932.13    136.52      6.83   1000000         0
634.34/634.57	c       680       806    924.79    123.16      7.51   1000000         0
636.34/636.54	c       664       843    927.86    115.55      8.03   1000000         0
638.34/638.52	c       683       812    924.59    117.17      7.89   1000000         0
640.24/640.49	c       654       852    937.80    131.21      7.15   1000000         0
642.25/642.48	c       645       907    946.47    149.64      6.33   1000000         0
644.24/644.46	c       694       872    916.37    123.58      7.42   1000000         0
646.24/646.45	c       657       947    945.24    157.40      6.01   1000000         0
648.24/648.42	c       681       890    934.05    109.19      8.55   1000000         0
650.24/650.41	c       714       989    952.61    142.69      6.68   1000000         0
652.14/652.39	c       661       819    916.70    143.54      6.39   1000000         0
654.14/654.38	c       662       796    941.90    117.92      7.99   1000000         0
656.14/656.36	c       626       877    950.46    128.79      7.38   1000000         0
658.14/658.35	c       703       959    956.74    138.78      6.89   1000000         0
660.14/660.33	c       660       844    935.28    136.97      6.83   1000000         0
662.14/662.30	c       659       935    913.70    134.23      6.81   1000000         0
664.04/664.27	c       687       910    914.77    127.85      7.15   1000000         0
666.03/666.24	c       685       968    916.98    134.31      6.83   1000000         0
668.03/668.23	c       637       871    942.11    143.78      6.55   1000000         0
670.03/670.21	c       642       905    914.36    143.01      6.39   1000000         0
671.94/672.18	c       599       966    912.69    129.46      7.05   1000000         0
673.93/674.17	c       701       809    954.86    136.69      6.99   1000000         0
675.93/676.15	c       727       825    938.61    117.96      7.96   1000000         0
677.93/678.15	c       700      1049    950.18    141.87      6.70   1000000         0
679.93/680.13	c       662       940    937.03    125.28      7.48   1000000         0
681.93/682.11	c       686       921    940.00    125.39      7.50   1000000         0
683.94/684.10	c       660       861    962.07    156.86      6.13   1000000         0
685.83/686.08	c       681       800    920.20    111.13      8.28   1000000         0
687.83/688.05	c       648       923    917.92    138.53      6.63   1000000         0
689.83/690.03	c       698       954    941.80    103.93      9.06   1000000         0
691.83/692.00	c       706       894    922.80    115.77      7.97   1000000         0
693.73/694.00	c       670       868    957.22    133.86      7.15   1000000         0
695.73/695.99	c       690      1027    957.51    175.78      5.45   1000000         0
697.73/697.96	c       619       867    922.26    131.36      7.02   1000000         0
699.73/699.94	c       645       941    922.14    143.65      6.42   1000000         0
701.73/701.92	c       657       797    950.39    137.37      6.92   1000000         0
703.63/703.88	c       646       848    900.63    141.99      6.34   1000000         0
705.62/705.86	c       687       957    924.90    140.34      6.59   1000000         0
707.62/707.84	c       693       956    945.16    106.40      8.88   1000000         0
709.62/709.82	c       686       932    903.26    124.08      7.28   1000000         0
711.62/711.80	c       689       969    946.23    122.41      7.73   1000000         0
713.52/713.78	c       659       796    933.06    131.31      7.11   1000000         0
715.52/715.77	c       698       890    936.25    125.57      7.46   1000000         0
717.52/717.73	c       692       930    912.31    111.51      8.18   1000000         0
719.52/719.71	c       687       903    918.23    113.73      8.07   1000000         0
721.43/721.68	c       645       997    908.86    120.14      7.57   1000000         0
723.42/723.67	c       673      1141    948.78    133.69      7.10   1000000         0
725.42/725.66	c       703       923    945.39    135.95      6.95   1000000         0
727.42/727.65	c       644       767    935.01    116.24      8.04   1000000         0
729.42/729.62	c       694       913    927.05    149.59      6.20   1000000         0
731.42/731.62	c       666       930    933.75    120.61      7.74   1000000         0
733.32/733.59	c       673       947    933.61    116.17      8.04   1000000         0
735.32/735.57	c       682       889    919.99    139.55      6.59   1000000         0
737.32/737.54	c       681       863    929.74    132.51      7.02   1000000         0
739.32/739.52	c       705       827    944.37    134.08      7.04   1000000         0
741.22/741.48	c       703       883    917.71    134.94      6.80   1000000         0
743.22/743.47	c       684       770    928.49    110.70      8.39   1000000         0
745.21/745.45	c       655       903    943.15    132.39      7.12   1000000         0
747.21/747.43	c       659       805    931.03    118.43      7.86   1000000         0
749.21/749.43	c       681       906    950.40    139.51      6.81   1000000         0
751.20/751.41	c       742       967    946.16    129.50      7.31   1000000         0
753.10/753.39	c       675       853    940.31    117.76      7.99   1000000         0
755.10/755.36	c       712       988    936.98    108.91      8.60   1000000         0
757.10/757.36	c       688       760    968.36    156.97      6.17   1000000         0
759.10/759.35	c       704       823    936.83    142.48      6.58   1000000         0
761.10/761.32	c       628       880    924.22    141.08      6.55   1000000         0
763.00/763.29	c       587       878    914.22    122.61      7.46   1000000         0
765.00/765.27	c       662       838    939.39    136.76      6.87   1000000         0
767.00/767.25	c       650       886    936.00    138.64      6.75   1000000         0
769.00/769.22	c       637       815    923.47    139.72      6.61   1000000         0
770.91/771.19	c       677       818    914.77    117.55      7.78   1000000         0
772.90/773.18	c       720       951    954.44    120.44      7.92   1000000         0
774.90/775.17	c       667       871    947.49    146.30      6.48   1000000         0
776.90/777.16	c       679      1033    946.43    141.90      6.67   1000000         0
778.90/779.14	c       627       796    943.73    149.12      6.33   1000000         0
780.90/781.13	c       689       810    946.38    102.37      9.24   1000000         0
782.90/783.11	c       604       841    939.21    120.78      7.78   1000000         0
784.79/785.08	c       675       915    930.78    124.70      7.46   1000000         0
786.79/787.05	c       671       917    918.41    123.79      7.42   1000000         0
788.79/789.03	c       645       846    940.66    150.71      6.24   1000000         0
790.79/791.00	c       694       854    925.74    105.50      8.78   1000000         0
792.69/792.98	c       627       806    930.58    151.00      6.16   1000000         0
794.69/794.96	c       678       983    917.36    113.27      8.10   1000000         0
796.69/796.95	c       642      1002    943.80    144.90      6.51   1000000         0
798.69/798.94	c       709       823    944.07    125.96      7.49   1000000         0
800.69/800.93	c       703       925    937.85    132.81      7.06   1000000         0
802.70/802.91	c       680       991    921.05    102.33      9.00   1000000         0
804.59/804.89	c       580       848    933.61    152.43      6.12   1000000         0
806.59/806.87	c       652       773    936.29    142.85      6.55   1000000         0
808.59/808.85	c       703       967    929.93    108.11      8.60   1000000         0
810.59/810.83	c       703      1043    950.75    131.57      7.23   1000000         0
812.59/812.81	c       678       738    952.37    139.45      6.83   1000000         0
814.59/814.81	c       711       948    965.40    109.42      8.82   1000000         0
816.49/816.79	c       695       911    940.96    133.30      7.06   1000000         0
818.49/818.77	c       684       945    934.46    118.39      7.89   1000000         0
820.49/820.75	c       672       846    936.73    110.62      8.47   1000000         0
822.49/822.73	c       705       990    936.61    144.16      6.50   1000000         0
824.48/824.71	c       689      1000    950.43    116.84      8.13   1000000         0
826.38/826.69	c       711       962    938.82    119.10      7.88   1000000         0
828.38/828.67	c       715       910    936.83    119.56      7.84   1000000         0
830.38/830.64	c       653       872    925.73    130.73      7.08   1000000         0
832.39/832.62	c       688       762    933.00    143.87      6.48   1000000         0
834.28/834.59	c       710       927    928.75    104.09      8.92   1000000         0
836.28/836.58	c       666       873    942.46    137.66      6.85   1000000         0
838.28/838.55	c       695       905    911.22    113.49      8.03   1000000         0
840.28/840.52	c       637       821    911.99    124.57      7.32   1000000         0
842.18/842.49	c       645       936    941.07    150.21      6.26   1000000         0
844.18/844.49	c       685       807    951.06    141.92      6.70   1000000         0
846.18/846.45	c       662      1009    920.08    135.74      6.78   1000000         0
848.18/848.42	c       657       924    914.17    140.15      6.52   1000000         0
850.18/850.41	c       676       909    939.07    122.77      7.65   1000000         0
852.08/852.38	c       631       722    915.50    138.11      6.63   1000000         0
854.08/854.36	c       650      1018    924.82    131.16      7.05   1000000         0
856.08/856.33	c       687       848    916.05    106.87      8.57   1000000         0
858.08/858.30	c       669       864    929.73    123.57      7.52   1000000         0
859.98/860.28	c       676       799    934.59    146.74      6.37   1000000         0
861.97/862.25	c       680       955    911.33    122.99      7.41   1000000         0
863.97/864.24	c       628       971    950.13    131.57      7.22   1000000         0
865.97/866.23	c       629       844    932.71    156.52      5.96   1000000         0
867.97/868.20	c       685       835    924.56    126.53      7.31   1000000         0
869.88/870.19	c       680       898    939.28    131.04      7.17   1000000         0
871.87/872.17	c       706      1005    939.92    134.86      6.97   1000000         0
873.87/874.14	c       609       922    916.70    124.13      7.39   1000000         0
875.87/876.12	c       653       972    923.63    141.01      6.55   1000000         0
877.77/878.08	c       660      1050    915.74    109.28      8.38   1000000         0
879.78/880.06	c       646      1024    907.54    108.50      8.36   1000000         0
881.77/882.05	c       693       886    945.60    110.92      8.53   1000000         0
883.77/884.02	c       698       912    935.84    130.25      7.19   1000000         0
885.67/885.99	c       677       954    918.33    142.65      6.44   1000000         0
887.67/887.97	c       710       863    938.04    124.00      7.56   1000000         0
889.67/889.97	c       708       980    968.32    145.00      6.68   1000000         0
891.67/891.96	c       707       942    947.47    122.09      7.76   1000000         0
893.67/893.94	c       643       810    927.54    123.53      7.51   1000000         0
895.67/895.92	c       653      1036    941.90    130.52      7.22   1000000         0
897.67/897.91	c       667       717    938.00    125.41      7.48   1000000         0
899.57/899.89	c       635       909    932.76    132.09      7.06   1000000         0
901.56/901.85	c       686       936    926.46    122.12      7.59   1000000         0
903.56/903.84	c       701       986    958.14    150.56      6.36   1000000         0
905.56/905.81	c       686       946    934.85    126.74      7.38   1000000         0
907.56/907.80	c       607      1038    949.11    142.75      6.65   1000000         0
909.47/909.77	c       691       837    914.78    121.40      7.53   1000000         0
911.46/911.76	c       688       849    945.63    116.52      8.12   1000000         0
913.46/913.72	c       620       824    904.14    127.98      7.06   1000000         0
915.46/915.70	c       649       741    943.31    127.15      7.42   1000000         0
917.36/917.67	c       675       962    927.77    117.33      7.91   1000000         0
919.37/919.65	c       728       919    960.81    146.00      6.58   1000000         0
921.36/921.62	c       685       752    924.98    127.27      7.27   1000000         0
923.26/923.59	c       669       904    922.25    128.45      7.18   1000000         0
925.26/925.58	c       665       884    932.21    115.23      8.09   1000000         0
927.26/927.56	c       678       816    939.11    123.40      7.61   1000000         0
929.26/929.53	c       704       898    934.05    108.54      8.61   1000000         0
931.16/931.50	c       671       975    915.42    121.02      7.56   1000000         0
933.16/933.47	c       684       797    917.55    106.99      8.58   1000000         0
935.15/935.47	c       722       856    955.84    136.34      7.01   1000000         0
937.16/937.45	c       628       788    926.46    150.23      6.17   1000000         0
939.16/939.43	c       686       929    948.35    130.36      7.27   1000000         0
941.15/941.42	c       680      1018    960.11    122.52      7.84   1000000         0
943.15/943.40	c       684       938    941.98    135.14      6.97   1000000         0
945.05/945.39	c       707       845    946.67    149.57      6.33   1000000         0
947.05/947.37	c       657       922    922.66    140.42      6.57   1000000         0
949.06/949.34	c       641       711    927.75    126.22      7.35   1000000         0
951.05/951.33	c       694       984    943.21    121.68      7.75   1000000         0
953.05/953.30	c       719      1075    937.53    127.57      7.35   1000000         0
954.95/955.28	c       622       854    936.19    119.02      7.87   1000000         0
956.95/957.26	c       695       868    951.08    142.01      6.70   1000000         0
958.96/959.24	c       669      1108    924.47    118.36      7.81   1000000         0
960.95/961.22	c       677       818    928.68    142.35      6.52   1000000         0
962.95/963.20	c       709       850    935.33    136.18      6.87   1000000         0
964.85/965.18	c       698       957    944.55    125.99      7.50   1000000         0
966.85/967.17	c       656       974    946.95    130.84      7.24   1000000         0
968.85/969.17	c       645       802    935.75    143.00      6.54   1000000         0
970.85/971.16	c       668      1009    950.90    134.30      7.08   1000000         0
972.85/973.14	c       646       821    926.33    147.50      6.28   1000000         0
974.84/975.12	c       690       993    926.64    129.44      7.16   1000000         0
976.84/977.11	c       689      1012    943.73    161.31      5.85   1000000         0
978.75/979.09	c       720       809    964.26    129.85      7.43   1000000         0
980.74/981.08	c       705       871    953.56    149.90      6.36   1000000         0
982.74/983.06	c       686       821    915.59    101.14      9.05   1000000         0
984.74/985.04	c       717       876    944.28    114.01      8.28   1000000         0
986.74/987.02	c       680       811    932.69    161.73      5.77   1000000         0
988.65/988.99	c       643       775    918.25    129.58      7.09   1000000         0
990.64/990.98	c       698       906    944.43    134.26      7.03   1000000         0
992.64/992.96	c       647       853    937.06    144.37      6.49   1000000         0
994.64/994.94	c       688       959    945.79    131.26      7.21   1000000         0
996.64/996.92	c       642       867    918.43    114.14      8.05   1000000         0
998.55/998.88	c       622       823    912.63    122.14      7.47   1000000         0
1000.54/1000.86	c       601       843    911.48    130.06      7.01   1000000         0
1002.54/1002.84	c       642       902    927.63    129.13      7.18   1000000         0
1004.54/1004.82	c       707       890    935.41    124.20      7.53   1000000         0
1006.54/1006.80	c       672       927    958.54    135.19      7.09   1000000         0
1008.45/1008.78	c       657       897    927.98    124.51      7.45   1000000         0
1010.44/1010.76	c       678       770    921.25    135.04      6.82   1000000         0
1012.44/1012.73	c       690       830    938.82    127.46      7.37   1000000         0
1014.44/1014.71	c       648       930    940.75    142.23      6.61   1000000         0
1016.44/1016.70	c       720      1011    941.79    119.82      7.86   1000000         0
1018.34/1018.68	c       691       737    917.27    129.96      7.06   1000000         0
1020.33/1020.67	c       701       987    951.40    122.13      7.79   1000000         0
1022.33/1022.65	c       636       964    926.31    133.08      6.96   1000000         0
1024.33/1024.63	c       719      1010    960.82    119.38      8.05   1000000         0
1026.33/1026.60	c       682       863    926.74    144.54      6.41   1000000         0
1028.24/1028.58	c       668      1047    936.21    117.76      7.95   1000000         0
1030.23/1030.55	c       638       844    916.84    118.10      7.76   1000000         0
1032.23/1032.53	c       720       976    941.10    125.59      7.49   1000000         0
1034.23/1034.51	c       571       926    915.60    152.55      6.00   1000000         0
1036.13/1036.48	c       645      1016    928.01    131.56      7.05   1000000         0
1038.14/1038.46	c       616       885    927.68    126.46      7.34   1000000         0
1040.13/1040.43	c       709       816    937.96    121.68      7.71   1000000         0
1042.13/1042.40	c       651       887    929.63    120.14      7.74   1000000         0
1044.03/1044.39	c       707      1021    925.10    106.78      8.66   1000000         0
1046.03/1046.37	c       670       888    954.50    137.30      6.95   1000000         0
1048.03/1048.33	c       623       873    896.52    124.08      7.23   1000000         0
1050.03/1050.31	c       658       890    934.28    118.60      7.88   1000000         0
1051.93/1052.29	c       733       947    946.78    118.59      7.98   1000000         0
1053.93/1054.27	c       701       928    926.79    106.98      8.66   1000000         0
1055.93/1056.25	c       682       842    917.44    108.36      8.47   1000000         0
1057.93/1058.24	c       743       939    970.02    115.20      8.42   1000000         0
1059.92/1060.23	c       674       871    939.96    125.76      7.47   1000000         0
1061.92/1062.21	c       693       877    923.87    123.26      7.50   1000000         0
1063.82/1064.20	c       650       999    935.04    134.29      6.96   1000000         0
1065.82/1066.17	c       687       919    919.98    133.56      6.89   1000000         0
1067.83/1068.15	c       703       908    945.71    120.90      7.82   1000000         0
1069.82/1070.14	c       697       946    949.57    108.73      8.73   1000000         0
1071.82/1072.11	c       656       890    919.46    137.93      6.67   1000000         0
1073.72/1074.09	c       670       923    936.54    134.35      6.97   1000000         0
1075.72/1076.06	c       647       890    907.22    143.80      6.31   1000000         0
1077.73/1078.04	c       676       843    923.36    144.30      6.40   1000000         0
1079.72/1080.01	c       667       821    936.34    132.48      7.07   1000000         0
1081.62/1081.98	c       621       845    910.67    123.05      7.40   1000000         0
1083.62/1083.96	c       674       921    931.15    127.38      7.31   1000000         0
1085.62/1085.93	c       682       786    905.50    126.17      7.18   1000000         0
1087.62/1087.91	c       594       963    917.16    106.91      8.58   1000000         0
1089.52/1089.87	c       658      1076    920.59    133.33      6.90   1000000         0
1091.52/1091.86	c       671       833    940.69    144.77      6.50   1000000         0
1093.52/1093.85	c       696       908    928.18    131.02      7.08   1000000         0
1095.52/1095.84	c       685       871    950.53    151.93      6.26   1000000         0
1097.52/1097.82	c       635       806    947.46    116.02      8.17   1000000         0
1099.41/1099.79	c       700       930    930.21    107.34      8.67   1000000         0
1101.41/1101.78	c       695       880    937.70    127.57      7.35   1000000         0
1103.41/1103.75	c       669       886    943.88    122.35      7.71   1000000         0
1105.41/1105.73	c       656       869    931.98    136.23      6.84   1000000         0
1107.42/1107.71	c       658       926    929.03    137.05      6.78   1000000         0
1109.31/1109.68	c       657       843    927.26    128.70      7.21   1000000         0
1111.31/1111.65	c       698       870    926.74    107.49      8.62   1000000         0
1113.31/1113.61	c       673       878    902.78    120.91      7.47   1000000         0
1115.21/1115.59	c       680       933    927.51    119.73      7.75   1000000         0
1117.22/1117.57	c       662       822    956.24    156.01      6.13   1000000         0
1119.21/1119.54	c       639       824    919.55    143.17      6.42   1000000         0
1121.21/1121.53	c       650       997    928.07    130.97      7.09   1000000         0
1123.21/1123.51	c       672       853    939.40    132.19      7.11   1000000         0
1125.21/1125.50	c       687       917    933.49    126.66      7.37   1000000         0
1127.12/1127.47	c       691       915    932.83    149.67      6.23   1000000         0
1129.11/1129.45	c       639       819    930.94    131.14      7.10   1000000         0
1131.11/1131.42	c       691       920    922.69    119.29      7.73   1000000         0
1133.01/1133.38	c       687       929    909.19    113.42      8.02   1000000         0
1135.01/1135.37	c       712       991    943.61    124.51      7.58   1000000         0
1137.01/1137.35	c       698       841    925.43    127.10      7.28   1000000         0
1139.01/1139.34	c       668       819    939.86    130.32      7.21   1000000         0
1141.01/1141.33	c       691       936    945.58    132.66      7.13   1000000         0
1143.01/1143.31	c       716       923    936.54    118.25      7.92   1000000         0
1144.90/1145.29	c       629       903    921.78    131.59      7.00   1000000         0
1146.91/1147.27	c       679       926    928.14    137.08      6.77   1000000         0
1148.90/1149.26	c       695       773    963.03    126.03      7.64   1000000         0
1150.90/1151.23	c       597       981    918.94    116.50      7.89   1000000         0
1152.90/1153.22	c       714       883    938.80    140.34      6.69   1000000         0
1154.90/1155.20	c       720       983    957.03    114.70      8.34   1000000         0
1156.81/1157.18	c       697       984    936.97    107.35      8.73   1000000         0
1158.80/1159.16	c       710       885    926.04    137.49      6.74   1000000         0
1160.80/1161.14	c       682       857    921.85    129.91      7.10   1000000         0
1162.80/1163.12	c       713       849    931.81    128.63      7.24   1000000         0
1164.80/1165.11	c       711       837    947.57    152.44      6.22   1000000         0
1166.71/1167.09	c       703       972    953.98    133.80      7.13   1000000         0
1168.70/1169.07	c       687       784    940.26    143.63      6.55   1000000         0
1170.70/1171.05	c       652       798    924.73    130.48      7.09   1000000         0
1172.70/1173.03	c       657       965    925.71    149.22      6.20   1000000         0
1174.70/1175.01	c       657       804    939.87    133.60      7.03   1000000         0
1176.60/1177.00	c       703       780    943.21    131.30      7.18   1000000         0
1178.60/1178.99	c       702       931    958.25    145.48      6.59   1000000         0
1180.60/1180.97	c       722       946    955.55    115.11      8.30   1000000         0
1182.60/1182.95	c       652       950    919.24    125.31      7.34   1000000         0
1184.59/1184.94	c       688       956    958.22    149.99      6.39   1000000         0
1186.60/1186.92	c       664       948    939.17    123.43      7.61   1000000         0
1188.49/1188.89	c       627       846    943.27    119.39      7.90   1000000         0
1190.49/1190.87	c       671       891    923.06    141.73      6.51   1000000         0
1192.49/1192.87	c       678       929    964.10    151.58      6.36   1000000         0
1194.49/1194.84	c       682       942    938.68    119.48      7.86   1000000         0
1196.50/1196.83	c       715       882    948.82    125.29      7.57   1000000         0
1198.39/1198.79	c       688      1070    924.30    127.01      7.28   1000000         0
1200.39/1200.77	c       689       957    919.20    113.34      8.11   1000000         0
1202.39/1202.76	c       611      1044    945.84    137.52      6.88   1000000         0
1204.39/1204.74	c       664       832    930.78    125.23      7.43   1000000         0
1206.40/1206.71	c       676       890    918.08    124.64      7.37   1000000         0
1208.39/1208.70	c       701       924    948.53    128.43      7.39   1000000         0
1210.29/1210.68	c       690       918    928.13    111.88      8.30   1000000         0
1212.29/1212.65	c       609      1049    914.58    131.33      6.96   1000000         0
1214.29/1214.62	c       592       912    922.74    120.95      7.63   1000000         0
1216.30/1216.61	c       694       716    935.04    139.26      6.71   1000000         0
1218.19/1218.59	c       603       863    924.59    149.42      6.19   1000000         0
1220.19/1220.59	c       676       956    945.99    128.01      7.39   1000000         0
1222.19/1222.57	c       707       795    942.01    127.17      7.41   1000000         0
1224.19/1224.55	c       681      1052    939.77    140.66      6.68   1000000         0
1226.19/1226.53	c       648       966    929.05    134.34      6.92   1000000         0
1228.19/1228.52	c       674       899    935.53    146.41      6.39   1000000         0
1230.18/1230.50	c       644       970    938.55    147.63      6.36   1000000         0
1232.08/1232.48	c       674       811    918.06    128.96      7.12   1000000         0
1234.08/1234.45	c       654       939    917.12    130.46      7.03   1000000         0
1236.09/1236.42	c       610       803    914.15    130.66      7.00   1000000         0
1238.08/1238.40	c       680       892    936.11    132.14      7.08   1000000         0
1239.99/1240.38	c       657       936    956.54    123.29      7.76   1000000         0
1241.99/1242.35	c       672       897    918.78    140.10      6.56   1000000         0
1243.99/1244.32	c       655       897    930.84    123.57      7.53   1000000         0
1246.00/1246.32	c       706       896    955.12    126.42      7.55   1000000         0
1247.89/1248.29	c       701       901    935.12    106.80      8.76   1000000         0
1249.89/1250.29	c       654       857    956.44    145.26      6.58   1000000         0
1251.89/1252.27	c       691       927    931.95    145.27      6.42   1000000         0
1253.89/1254.25	c       661       949    945.44    136.97      6.90   1000000         0
1255.89/1256.24	c       654       941    935.27    145.09      6.45   1000000         0
1257.89/1258.21	c       710       935    922.17    118.35      7.79   1000000         0
1259.79/1260.19	c       619      1023    951.84    135.30      7.04   1000000         0
1261.79/1262.17	c       681       926    938.22    141.97      6.61   1000000         0
1263.78/1264.15	c       676      1087    950.17    126.98      7.48   1000000         0
1265.79/1266.14	c       699       954    939.32    124.71      7.53   1000000         0
1267.78/1268.10	c       707       849    923.44    125.90      7.33   1000000         0
1269.68/1270.08	c       606       887    929.64    111.03      8.37   1000000         0
1271.68/1272.06	c       640       934    944.39    123.79      7.63   1000000         0
1273.68/1274.05	c       677       855    961.65    144.99      6.63   1000000         0
1275.69/1276.03	c       683       894    945.26    124.00      7.62   1000000         0
1277.68/1278.02	c       632       921    938.29    136.01      6.90   1000000         0
1279.68/1280.00	c       686       956    941.34    128.91      7.30   1000000         0
1281.58/1281.98	c       702       846    919.13    120.71      7.61   1000000         0
1283.58/1283.94	c       673      1021    894.96    117.79      7.60   1000000         0
1285.59/1285.93	c       628       913    944.84    128.81      7.34   1000000         0
1287.58/1287.90	c       667       925    917.38    141.39      6.49   1000000         0
1289.48/1289.89	c       691       973    942.78    141.94      6.64   1000000         0
1291.48/1291.85	c       675       913    934.62    132.36      7.06   1000000         0
1293.48/1293.82	c       658       817    919.87     97.80      9.41   1000000         0
1295.48/1295.81	c       665       875    934.31    131.56      7.10   1000000         0
1297.38/1297.79	c       686      1014    953.58    153.64      6.21   1000000         0
1299.38/1299.77	c       698       941    952.84    149.85      6.36   1000000         0
1301.37/1301.76	c       651       906    956.50    111.70      8.56   1000000         0
1303.37/1303.74	c       728      1030    940.54    114.54      8.21   1000000         0
1305.38/1305.71	c       657       947    924.83    123.65      7.48   1000000         0
1307.27/1307.69	c       638       897    935.96    130.51      7.17   1000000         0
1309.27/1309.67	c       677      1051    940.20    112.58      8.35   1000000         0
1311.27/1311.64	c       559       976    907.18    143.54      6.32   1000000         0
1313.27/1313.62	c       704       914    935.50    135.58      6.90   1000000         0
1315.28/1315.61	c       702      1004    948.77    134.35      7.06   1000000         0
1317.27/1317.60	c       660       936    954.49    132.31      7.21   1000000         0
1319.17/1319.57	c       649       995    903.00    120.31      7.51   1000000         0
1321.17/1321.54	c       694       808    920.23    154.85      5.94   1000000         0
1323.17/1323.54	c       705       994    958.78    141.98      6.75   1000000         0
1325.18/1325.51	c       714       881    921.37    118.34      7.79   1000000         0
1327.07/1327.49	c       694       836    933.72    114.70      8.14   1000000         0
1329.07/1329.48	c       695       941    944.02    117.26      8.05   1000000         0
1331.07/1331.47	c       692       857    938.45    113.92      8.24   1000000         0
1333.07/1333.45	c       697       904    931.95    137.85      6.76   1000000         0
1335.07/1335.43	c       615       943    930.66    117.87      7.90   1000000         0
1337.07/1337.40	c       648       872    946.46    126.07      7.51   1000000         0
1338.97/1339.38	c       652       918    932.16    126.19      7.39   1000000         0
1340.97/1341.35	c       656       840    923.11    125.09      7.38   1000000         0
1342.96/1343.35	c       670       836    941.18    135.62      6.94   1000000         0
1344.97/1345.32	c       702      1003    927.69    126.26      7.35   1000000         0
1346.96/1347.32	c       729       977    972.46    111.06      8.76   1000000         0
1348.86/1349.30	c       702       933    948.78    131.71      7.20   1000000         0
1350.86/1351.26	c       684       802    924.75    111.54      8.29   1000000         0
1352.86/1353.24	c       694       912    916.46    116.58      7.86   1000000         0
1354.87/1355.24	c       654       968    958.11    155.84      6.15   1000000         0
1356.86/1357.22	c       702       855    937.19    130.57      7.18   1000000         0
1358.86/1359.20	c       691       810    940.65    123.98      7.59   1000000         0
1360.76/1361.18	c       677       993    930.45    154.06      6.04   1000000         0
1362.76/1363.16	c       620       857    926.45    136.91      6.77   1000000         0
1364.77/1365.15	c       717       869    947.24    136.88      6.92   1000000         0
1366.76/1367.12	c       632       906    936.79    153.59      6.10   1000000         0
1368.76/1369.10	c       654       983    932.42     99.18      9.40   1000000         0
1370.66/1371.07	c       689       855    929.60    127.96      7.27   1000000         0
1372.66/1373.06	c       683       916    947.70    139.00      6.82   1000000         0
1374.67/1375.04	c       682       843    917.39    145.41      6.31   1000000         0
1376.66/1377.02	c       657       806    935.19    127.17      7.35   1000000         0
1378.66/1379.00	c       677       871    928.94    144.53      6.43   1000000         0
1380.56/1380.97	c       640      1040    924.57    122.71      7.53   1000000         0
1382.56/1382.96	c       672       740    921.66    138.64      6.65   1000000         0
1384.56/1384.92	c       661       935    917.22    138.55      6.62   1000000         0
1386.55/1386.92	c       646       899    953.29    128.06      7.44   1000000         0
1388.55/1388.91	c       673       911    949.32    138.82      6.84   1000000         0
1390.45/1390.89	c       600      1013    937.72    143.92      6.52   1000000         0
1392.45/1392.87	c       664       861    934.05    156.75      5.96   1000000         0
1394.46/1394.85	c       704      1000    962.06    131.00      7.34   1000000         0
1396.45/1396.82	c       659       928    903.63    111.08      8.14   1000000         0
1398.45/1398.81	c       743       998    954.24    116.90      8.16   1000000         0
1400.45/1400.80	c       709       902    956.15    137.09      6.97   1000000         0
1402.35/1402.79	c       700       912    952.27    120.52      7.90   1000000         0
1404.36/1404.77	c       673       915    921.63    126.72      7.27   1000000         0
1406.35/1406.74	c       691      1040    934.79    124.15      7.53   1000000         0
1408.35/1408.72	c       662       951    934.68    137.81      6.78   1000000         0
1410.35/1410.70	c       699       924    936.31    126.20      7.42   1000000         0
1412.25/1412.67	c       675       711    923.16    137.72      6.70   1000000         0
1414.26/1414.65	c       677       968    925.37    132.12      7.00   1000000         0
1416.25/1416.64	c       691       816    938.46    120.64      7.78   1000000         0
1418.25/1418.62	c       689       984    932.00    141.86      6.57   1000000         0
1420.25/1420.61	c       665       861    949.35    123.34      7.70   1000000         0
1422.15/1422.57	c       576       869    918.42    151.75      6.05   1000000         0
1424.15/1424.56	c       708      1030    942.39    137.84      6.84   1000000         0
1426.15/1426.54	c       678       942    922.09    126.61      7.28   1000000         0
1428.14/1428.53	c       689      1043    963.86    119.92      8.04   1000000         0
1430.14/1430.50	c       716       877    931.42    143.57      6.49   1000000         0
1432.04/1432.47	c       658      1011    911.69    133.18      6.85   1000000         0
1434.05/1434.45	c       670       976    932.38    109.36      8.53   1000000         0
1436.04/1436.42	c       615       846    909.50    113.91      7.98   1000000         0
1438.04/1438.40	c       664       875    929.50    129.38      7.18   1000000         0
1439.94/1440.38	c       630       812    916.02    149.42      6.13   1000000         0
1441.94/1442.35	c       656       911    921.07    133.60      6.89   1000000         0
1443.95/1444.33	c       700       882    924.62     96.64      9.57   1000000         0
1445.94/1446.31	c       652       870    942.17    124.68      7.56   1000000         0
1447.84/1448.29	c       643       948    931.49    141.92      6.56   1000000         0
1449.84/1450.27	c       654       827    926.31    118.65      7.81   1000000         0
1451.84/1452.26	c       665       767    925.26    129.15      7.16   1000000         0
1453.85/1454.23	c       629       951    926.59    147.50      6.28   1000000         0
1455.84/1456.21	c       679       855    938.80    164.84      5.70   1000000         0
1457.74/1458.19	c       655      1005    949.45    106.88      8.88   1000000         0
1459.74/1460.17	c       673       910    935.69    121.25      7.72   1000000         0
1461.74/1462.15	c       704       711    950.29    120.76      7.87   1000000         0
1463.74/1464.13	c       640       829    929.27    162.78      5.71   1000000         0
1465.74/1466.10	c       705       871    911.64    123.94      7.36   1000000         0
1467.64/1468.08	c       679       818    943.77    138.53      6.81   1000000         0
1469.64/1470.05	c       659       811    921.98    110.15      8.37   1000000         0
1471.64/1472.02	c       698       884    934.44    134.78      6.93   1000000         0
1473.64/1474.01	c       651       854    927.56    149.82      6.19   1000000         0
1475.53/1475.98	c       695       885    942.43    119.72      7.87   1000000         0
1477.53/1477.96	c       673       844    938.13    138.92      6.75   1000000         0
1479.53/1479.94	c       655       882    947.75    130.98      7.24   1000000         0
1481.53/1481.93	c       662       795    946.27    129.04      7.33   1000000         0
1483.54/1483.91	c       655       994    952.46    124.33      7.66   1000000         0
1485.43/1485.88	c       645      1044    912.10    132.91      6.86   1000000         0
1487.43/1487.87	c       656       916    964.14    155.61      6.20   1000000         0
1489.43/1489.85	c       696       851    931.61    131.18      7.10   1000000         0
1491.43/1491.83	c       667       951    934.13    150.06      6.23   1000000         0
1493.44/1493.81	c       638       899    933.94    132.10      7.07   1000000         0
1495.33/1495.79	c       632       918    924.44    148.24      6.24   1000000         0
1497.33/1497.75	c       656      1001    923.16    126.48      7.30   1000000         0
1499.33/1499.74	c       687       918    942.83    133.48      7.06   1000000         0
1501.33/1501.72	c       680       942    925.21    134.01      6.90   1000000         0
1503.24/1503.69	c       630       955    920.44    121.79      7.56   1000000         0
1505.23/1505.68	c       575       807    939.50    157.58      5.96   1000000         0
1507.23/1507.65	c       655       925    937.76    124.69      7.52   1000000         0
1509.23/1509.63	c       638       891    923.47    120.73      7.65   1000000         0
1511.23/1511.60	c       641       904    929.38    140.62      6.61   1000000         0
1513.13/1513.58	c       649       996    933.47    145.32      6.42   1000000         0
1515.12/1515.56	c       675       815    940.80    109.51      8.59   1000000         0
1517.12/1517.56	c       726       911    945.93    111.25      8.50   1000000         0
1519.12/1519.53	c       675       859    929.16    177.47      5.24   1000000         0
1521.12/1521.52	c       714       827    959.12    130.84      7.33   1000000         0
1523.03/1523.49	c       621       744    905.79    138.95      6.52   1000000         0
1525.02/1525.49	c       691      1000    960.68    131.84      7.29   1000000         0
1527.02/1527.47	c       655       939    939.83    129.89      7.24   1000000         0
1529.02/1529.46	c       696       981    960.10    168.08      5.71   1000000         0
1531.02/1531.45	c       683       867    952.49    132.27      7.20   1000000         0
1533.03/1533.43	c       669       996    943.34    143.46      6.58   1000000         0
1535.02/1535.40	c       650      1012    900.42    132.67      6.79   1000000         0
1536.92/1537.37	c       614       923    920.36    145.33      6.33   1000000         0
1538.92/1539.36	c       707       911    932.14    113.25      8.23   1000000         0
1540.92/1541.35	c       676       987    941.66    142.65      6.60   1000000         0
1542.93/1543.34	c       673      1012    964.26    117.93      8.18   1000000         0
1544.92/1545.31	c       663       940    930.33    134.05      6.94   1000000         0
1546.82/1547.29	c       646       947    933.19    133.35      7.00   1000000         0
1548.82/1549.27	c       621       932    923.94    149.58      6.18   1000000         0
1550.82/1551.24	c       693      1025    920.67    134.17      6.86   1000000         0
1552.82/1553.24	c       739       896    969.19    126.26      7.68   1000000         0
1554.82/1555.22	c       631       834    952.00    124.95      7.62   1000000         0
1556.82/1557.20	c       698       958    921.13    120.84      7.62   1000000         0
1558.72/1559.18	c       700       944    914.98    154.73      5.91   1000000         0
1560.71/1561.14	c       663       865    895.02    118.67      7.54   1000000         0
1562.72/1563.11	c       579       897    917.74    111.51      8.23   1000000         0
1564.61/1565.09	c       655       883    935.50    116.12      8.06   1000000         0
1566.61/1567.09	c       730       985    965.63    152.02      6.35   1000000         0
1568.61/1569.06	c       676      1021    917.68    120.89      7.59   1000000         0
1570.61/1571.05	c       689       927    937.44    141.01      6.65   1000000         0
1572.62/1573.02	c       670       777    930.70    138.64      6.71   1000000         0
1574.61/1575.00	c       678       892    931.77    128.13      7.27   1000000         0
1576.51/1576.99	c       648       910    928.57    145.24      6.39   1000000         0
1578.51/1578.95	c       638       837    903.67    129.08      7.00   1000000         0
1580.51/1580.93	c       675       940    946.44    122.25      7.74   1000000         0
1582.52/1582.91	c       627       930    937.13    143.01      6.55   1000000         0
1584.41/1584.89	c       669       943    941.48    135.21      6.96   1000000         0
1586.41/1586.88	c       681       927    928.61    117.94      7.87   1000000         0
1588.41/1588.86	c       632       966    935.59    121.57      7.70   1000000         0
1590.41/1590.84	c       646       930    961.15    145.63      6.60   1000000         0
1592.41/1592.82	c       696       788    945.96    154.49      6.12   1000000         0
1594.41/1594.81	c       703      1013    942.68    135.41      6.96   1000000         0
1596.31/1596.79	c       688       923    923.62    106.06      8.71   1000000         0
1598.31/1598.77	c       664       907    940.86    153.74      6.12   1000000         0
1600.30/1600.75	c       709       933    931.37    132.90      7.01   1000000         0
1602.31/1602.73	c       670      1042    946.19    137.78      6.87   1000000         0
1604.30/1604.71	c       661       946    930.03    159.01      5.85   1000000         0
1606.20/1606.69	c       657       834    941.09    141.42      6.65   1000000         0
1608.20/1608.67	c       656       965    948.07    129.41      7.33   1000000         0
1610.20/1610.65	c       685       970    915.08    114.54      7.99   1000000         0
1612.21/1612.63	c       668       949    946.88    132.61      7.14   1000000         0
1614.20/1614.61	c       633       885    929.40    147.48      6.30   1000000         0
1616.20/1616.61	c       697       935    954.90    131.61      7.26   1000000         0
1618.10/1618.58	c       655       811    914.71    116.36      7.86   1000000         0
1620.10/1620.56	c       609       741    939.59    114.21      8.23   1000000         0
1622.11/1622.54	c       707       823    933.89    130.99      7.13   1000000         0
1624.10/1624.54	c       704       781    950.74    129.02      7.37   1000000         0
1626.10/1626.52	c       689       954    926.06    126.36      7.33   1000000         0
1628.00/1628.48	c       679       950    905.04    113.67      7.96   1000000         0
1630.00/1630.46	c       721       893    946.35    116.35      8.13   1000000         0
1632.00/1632.43	c       677       863    922.22    120.28      7.67   1000000         0
1634.00/1634.40	c       670       857    928.47    137.17      6.77   1000000         0
1635.90/1636.38	c       660       920    926.38    143.24      6.47   1000000         0
1637.90/1638.34	c       676       837    922.52    122.42      7.54   1000000         0
1639.90/1640.32	c       646       846    907.21    108.75      8.34   1000000         0
1641.80/1642.29	c       642       803    923.48    132.63      6.96   1000000         0
1643.79/1644.26	c       613       677    908.71    145.36      6.25   1000000         0
1645.79/1646.24	c       670       975    933.20    144.19      6.47   1000000         0
1647.79/1648.22	c       668       948    940.60    130.29      7.22   1000000         0
1649.79/1650.20	c       700       756    927.35    141.03      6.58   1000000         0
1651.70/1652.19	c       694      1005    938.10    117.87      7.96   1000000         0
1653.69/1654.15	c       645       837    914.01    110.11      8.30   1000000         0
1655.69/1656.15	c       696       913    966.48    156.32      6.18   1000000         0
1657.69/1658.13	c       704      1021    935.91    140.73      6.65   1000000         0
1659.69/1660.11	c       673       922    946.05    151.66      6.24   1000000         0
1661.60/1662.09	c       658       919    926.78    116.34      7.97   1000000         0
1663.59/1664.06	c       710       901    929.43    129.89      7.16   1000000         0
1665.59/1666.03	c       661       897    924.40    121.49      7.61   1000000         0
1667.59/1668.01	c       634       982    924.11    131.34      7.04   1000000         0
1669.49/1670.00	c       714      1040    945.25    125.82      7.51   1000000         0
1671.49/1671.98	c       663       958    934.98    130.53      7.16   1000000         0
1673.49/1673.96	c       661       971    942.43    117.82      8.00   1000000         0
1675.49/1675.95	c       701       771    937.91    141.94      6.61   1000000         0
1677.49/1677.92	c       622       827    909.68    139.93      6.50   1000000         0
1679.39/1679.89	c       664       849    925.74    117.74      7.86   1000000         0
1681.39/1681.86	c       681       912    925.80    138.35      6.69   1000000         0
1683.39/1683.84	c       673      1059    938.73    140.83      6.67   1000000         0
1685.38/1685.82	c       717       900    945.12    120.34      7.85   1000000         0
1687.28/1687.79	c       624       907    901.96    134.97      6.68   1000000         0
1689.28/1689.78	c       686       973    941.40    113.66      8.28   1000000         0
1691.29/1691.75	c       665       779    923.05    137.10      6.73   1000000         0
1693.28/1693.73	c       634       837    945.43    106.80      8.85   1000000         0
1695.28/1695.72	c       733       900    960.11    110.39      8.70   1000000         0
1697.28/1697.71	c       635       921    929.24    130.87      7.10   1000000         0
1699.18/1699.68	c       617       922    911.56    148.29      6.15   1000000         0
1701.19/1701.65	c       665       881    932.55    132.28      7.05   1000000         0
1703.18/1703.62	c       683       985    931.50    115.34      8.08   1000000         0
1705.08/1705.59	c       650      1065    920.41    136.32      6.75   1000000         0
1707.08/1707.58	c       703       896    936.24    143.01      6.55   1000000         0
1709.08/1709.54	c       642       920    912.36    112.55      8.11   1000000         0
1711.08/1711.52	c       708       991    933.67    134.73      6.93   1000000         0
1713.08/1713.51	c       698       971    946.90    134.86      7.02   1000000         0
1714.98/1715.49	c       701       918    940.48    140.27      6.70   1000000         0
1716.97/1717.46	c       671       877    907.56    131.25      6.91   1000000         0
1718.97/1719.43	c       640       885    928.68    143.83      6.46   1000000         0
1720.98/1721.41	c       709      1007    956.11    140.67      6.80   1000000         0
1722.87/1723.39	c       672       851    929.87    144.64      6.43   1000000         0
1724.87/1725.37	c       634       920    936.58    119.88      7.81   1000000         0
1726.87/1727.33	c       643       759    915.23    130.03      7.04   1000000         0
1728.87/1729.31	c       682       985    934.92    121.07      7.72   1000000         0
1730.77/1731.29	c       696       947    929.54    125.58      7.40   1000000         0
1732.77/1733.27	c       707      1057    954.48    144.89      6.59   1000000         0
1734.77/1735.27	c       665       852    953.06    109.97      8.67   1000000         0
1736.77/1737.24	c       709       849    939.27    123.02      7.64   1000000         0
1738.77/1739.23	c       642       969    933.63    154.38      6.05   1000000         0
1740.78/1741.21	c       677       932    932.68    131.75      7.08   1000000         0
1742.67/1743.18	c       672       989    911.10    111.32      8.18   1000000         0
1744.67/1745.16	c       673       923    941.26    121.32      7.76   1000000         0
1746.67/1747.14	c       635       895    926.87    131.79      7.03   1000000         0
1748.67/1749.11	c       695       880    918.97    115.39      7.96   1000000         0
1750.57/1751.08	c       602       749    921.94    140.96      6.54   1000000         0
1752.57/1753.06	c       730      1011    943.83    134.70      7.01   1000000         0
1754.57/1755.04	c       678       860    935.07    121.59      7.69   1000000         0
1756.56/1757.01	c       685      1011    925.68    147.53      6.27   1000000         0
1758.56/1759.00	c       669       981    952.62    132.01      7.22   1000000         0
1760.46/1760.99	c       682       844    937.69    135.77      6.91   1000000         0
1762.46/1762.99	c       696       901    972.00    123.69      7.86   1000000         0
1764.46/1764.97	c       700       990    945.92    125.07      7.56   1000000         0
1766.46/1766.95	c       658       848    944.35    134.36      7.03   1000000         0
1768.46/1768.91	c       697       997    896.65    101.64      8.82   1000000         0
1770.36/1770.89	c       695       868    932.76    103.16      9.04   1000000         0
1772.36/1772.86	c       673       812    919.45    129.88      7.08   1000000         0
1774.36/1774.85	c       662       833    919.95    123.50      7.45   1000000         0
1776.36/1776.82	c       646       862    923.13    114.03      8.10   1000000         0
1778.36/1778.82	c       655       885    941.58    136.31      6.91   1000000         0
1780.37/1780.81	c       705       957    954.94    118.53      8.06   1000000         0
1782.26/1782.79	c       663       932    945.84    144.36      6.55   1000000         0
1784.26/1784.76	c       644       801    925.68    108.60      8.52   1000000         0
1786.26/1786.76	c       716      1024    961.95    136.72      7.04   1000000         0
1788.26/1788.74	c       660       971    931.09    134.03      6.95   1000000         0
1790.26/1790.72	c       657       846    912.14    138.31      6.59   1000000         0
1792.26/1792.70	c       690       874    918.93    101.31      9.07   1000000         0
1794.16/1794.68	c       703       840    938.85    143.02      6.56   1000000         0
1796.15/1796.66	c       634       956    903.18    129.16      6.99   1000000         0
1798.15/1798.64	c       666       732    924.62    120.59      7.67   1000000         0
1800.06/1800.51	HOME/run: line 2: 19505 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-2684832-1278434916/watcher-2684832-1278434916 -o /tmp/evaluation-result-2684832-1278434916/solver-2684832-1278434916 -C 1800 -W 2000 -M 1800 run HOME/instance-2684832-1278434916.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.77 1.74 1.39 3/106 19504
/proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) R 19502 19504 19027 0 -1 4202496 344 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434379669 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0

[startup+0.0536239 s]
/proc/loadavg: 1.77 1.74 1.39 3/106 19504
/proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100627 s]
/proc/loadavg: 1.77 1.74 1.39 3/106 19504
/proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300644 s]
/proc/loadavg: 1.77 1.74 1.39 3/106 19504
/proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700676 s]
/proc/loadavg: 1.77 1.74 1.39 3/106 19504
/proc/meminfo: memFree=1457152/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50074 s]
/proc/loadavg: 1.77 1.74 1.39 2/108 19506
/proc/meminfo: memFree=1450068/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1.49
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1800 0 0 0 149 0 0 0 25 0 1 0 11705293 41422848 1730 1992294400 134512640 135071400 4287681744 18446744073709551615 134547324 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1730 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10087 s]
/proc/loadavg: 1.77 1.74 1.39 2/108 19506
/proc/meminfo: memFree=1449944/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=3.09
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 309 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30113 s]
/proc/loadavg: 1.71 1.73 1.39 2/108 19507
/proc/meminfo: memFree=1449944/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=6.29
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 629 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7017 s]
/proc/loadavg: 1.65 1.72 1.39 2/108 19507
/proc/meminfo: memFree=1449836/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=12.69
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 1269 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5007 s]
/proc/loadavg: 1.51 1.68 1.38 2/108 19507
/proc/meminfo: memFree=1449836/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=25.48
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 2548 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 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.33 1.63 1.37 2/108 19507
/proc/meminfo: memFree=1449836/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=51.07
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 5107 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 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.14 1.53 1.35 2/108 19509
/proc/meminfo: memFree=1449712/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=102.27
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 10227 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 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.05 1.43 1.32 2/108 19511
/proc/meminfo: memFree=1449588/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=162.25
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 16225 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.02 1.35 1.30 2/108 19512
/proc/meminfo: memFree=1449588/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=222.23
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 22223 0 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.28 1.28 2/108 19514
/proc/meminfo: memFree=1449588/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=282.23
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 28222 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.00 1.23 1.26 2/108 19515
/proc/meminfo: memFree=1449464/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=342.21
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 34220 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134572051 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 1.00 1.18 1.24 2/108 19517
/proc/meminfo: memFree=1449464/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=402.2
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 40219 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1122.01
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 112200 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 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.08 2/108 19547
/proc/meminfo: memFree=1447728/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1182
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 118199 1 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 19548
/proc/meminfo: memFree=1447604/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1241.99
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 124197 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/108 19550
/proc/meminfo: memFree=1447480/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1301.98
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 130196 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526834 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 19552
/proc/meminfo: memFree=1447356/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1361.96
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 136194 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.06 2/108 19553
/proc/meminfo: memFree=1447356/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1421.95
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 142193 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526385 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/108 19555
/proc/meminfo: memFree=1447232/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1481.93
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 148191 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 19556
/proc/meminfo: memFree=1447232/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1541.92
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 154190 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/108 19558
/proc/meminfo: memFree=1447108/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1601.9
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 160188 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 19560
/proc/meminfo: memFree=1446984/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1661.89
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 166187 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/108 19561
/proc/meminfo: memFree=1446984/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1721.87
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 172185 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 19563
/proc/meminfo: memFree=1446612/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1781.86
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 178184 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.86
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.02 2/108 19565
/proc/meminfo: memFree=1446240/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1800.06
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 180004 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.02 2/108 19565
/proc/meminfo: memFree=1446240/2059040 swapFree=4192956/4192956
[pid=19504] ppid=19502 vsize=8700 CPUtime=0
/proc/19504/stat : 19504 (run) S 19502 19504 19027 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 11705293 8908800 244 1992294400 4194304 4922060 140734004043680 18446744073709551615 263434378373 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/19504/statm: 2175 244 204 178 0 68 0
[pid=19505] ppid=19504 vsize=40452 CPUtime=1800.06
/proc/19505/stat : 19505 (PB-wave) R 19504 19504 19027 0 -1 4202496 1808 0 0 0 180004 2 0 0 25 0 1 0 11705293 41422848 1738 1992294400 134512640 135071400 4287681744 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19505/statm: 10113 1738 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.026995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 10619

runsolver used 3.23851 second user time and 8.30674 second system time

The end

Launcher Data 

Begin job on node003 at 2010-07-06 18:48:36
IDJOB=2684832
IDBENCH=73651
IDSOLVER=1171
FILE ID=node003/2684832-1278434916
PBS_JOBID= 11233467
Free space on /tmp= 62568 MiB

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

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

MD5SUM BENCH= fb0fc5066c2899699e0ea4a2b024975c
RANDOM SEED=658759208

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:       1457548 kB
Buffers:        104336 kB
Cached:         364512 kB
SwapCached:          0 kB
Active:         198716 kB
Inactive:       330336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1457548 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2984 kB
Writeback:           4 kB
AnonPages:       60136 kB
Mapped:          14432 kB
Slab:            50528 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179612 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 19:18:36