Trace number 2684776

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.05 1801.01

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12023_3-unsat.opb
MD5SUMcab64fb449176610fb00692a41666b1e
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.339947
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23958
Total number of constraints79333
Number of constraints which are clauses78941
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints392
Minimum length of a constraint1
Maximum length of a constraint38
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 225
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.18	c PB-wave - v2
0.00/0.18	c command line = ./PB-wave
0.00/0.18	c seed = 121902961
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 23958 #con 79333
0.00/0.18	mode is SAT
0.00/0.18	c tail starts after flip = 71874
0.00/0.18	c numatom = 23958, numclause = 79333, numliterals = 180196
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
1.79/1.89	c       444       746    794.80    218.01      3.65   1000000         0
3.58/3.63	c       498       820    806.97    180.56      4.47   1000000         0
5.28/5.34	c       521       817    804.33    180.95      4.45   1000000         0
7.07/7.10	c       561       773    819.87    202.35      4.05   1000000         0
8.78/8.82	c       496       744    795.73    204.40      3.89   1000000         0
10.47/10.54	c       532       769    808.58    185.31      4.36   1000000         0
12.18/12.25	c       562       857    799.97    179.52      4.46   1000000         0
13.87/13.97	c       506       736    809.00    155.82      5.19   1000000         0
15.57/15.67	c       522       670    770.38    163.15      4.72   1000000         0
17.27/17.40	c       566       767    813.29    177.27      4.59   1000000         0
19.08/19.11	c       546       864    798.22    157.26      5.08   1000000         0
20.78/20.83	c       546       698    788.15    142.62      5.53   1000000         0
22.48/22.54	c       515       693    802.62    182.14      4.41   1000000         0
24.18/24.26	c       556       729    818.33    179.63      4.56   1000000         0
25.87/25.96	c       531       752    783.97    166.17      4.72   1000000         0
27.58/27.67	c       511       698    787.01    155.27      5.07   1000000         0
29.37/29.40	c       514       784    800.58    194.31      4.12   1000000         0
31.07/31.11	c       497       797    789.26    164.81      4.79   1000000         0
32.77/32.82	c       514       859    783.06    192.66      4.06   1000000         0
34.47/34.54	c       512       763    812.69    235.45      3.45   1000000         0
36.17/36.26	c       533       710    794.42    175.30      4.53   1000000         0
37.87/37.96	c       438       617    768.08    186.10      4.13   1000000         0
39.57/39.66	c       538       800    793.22    155.21      5.11   1000000         0
41.26/41.38	c       505       743    807.11    158.68      5.09   1000000         0
42.97/43.09	c       494       842    785.41    185.85      4.23   1000000         0
44.66/44.79	c       532       755    776.32    185.84      4.18   1000000         0
46.46/46.53	c       612       728    834.07    166.97      5.00   1000000         0
48.16/48.25	c       567       812    813.83    186.80      4.36   1000000         0
49.86/49.96	c       532       668    784.64    151.99      5.16   1000000         0
51.66/51.71	c       512       756    782.24    135.46      5.77   1000000         0
53.35/53.42	c       483       784    784.86    148.95      5.27   1000000         0
55.06/55.14	c       527       777    804.82    164.11      4.90   1000000         0
56.75/56.85	c       473       700    780.41    167.51      4.66   1000000         0
58.45/58.56	c       478       661    788.44    146.65      5.38   1000000         0
60.15/60.27	c       542       681    792.29    150.50      5.26   1000000         0
61.85/61.99	c       500       798    789.59    165.37      4.77   1000000         0
63.65/63.72	c       534       771    812.38    192.19      4.23   1000000         0
65.35/65.44	c       526       748    798.12    158.34      5.04   1000000         0
67.06/67.17	c       562       862    823.55    154.77      5.32   1000000         0
68.75/68.88	c       537       750    795.07    197.20      4.03   1000000         0
70.55/70.61	c       549       852    826.45    161.62      5.11   1000000         0
72.25/72.33	c       581       748    798.17    140.03      5.70   1000000         0
73.95/74.04	c       477       787    792.68    178.18      4.45   1000000         0
75.65/75.76	c       583       824    810.13    136.65      5.93   1000000         0
77.35/77.49	c       522       595    813.04    190.85      4.26   1000000         0
79.15/79.21	c       560       789    814.05    199.79      4.07   1000000         0
80.85/80.91	c       522       776    783.69    151.18      5.18   1000000         0
82.55/82.65	c       548       706    818.42    173.18      4.73   1000000         0
84.24/84.36	c       530       658    782.99    187.56      4.17   1000000         0
85.94/86.08	c       532       678    804.16    200.47      4.01   1000000         0
87.74/87.80	c       514       733    802.50    167.70      4.79   1000000         0
89.44/89.52	c       511       698    801.58    164.50      4.87   1000000         0
91.14/91.22	c       504       708    764.76    186.75      4.10   1000000         0
92.84/92.95	c       506       851    820.88    188.76      4.35   1000000         0
94.54/94.66	c       481       642    798.38    161.37      4.95   1000000         0
96.33/96.40	c       515       870    803.42    136.26      5.90   1000000         0
98.03/98.13	c       497       770    780.87    167.14      4.67   1000000         0
99.73/99.86	c       565       792    828.70    170.22      4.87   1000000         0
101.43/101.59	c       523       721    829.28    209.77      3.95   1000000         0
103.23/103.32	c       531       845    807.86    162.76      4.96   1000000         0
104.93/105.03	c       564       619    789.06    143.40      5.50   1000000         0
106.63/106.74	c       440       727    788.02    208.89      3.77   1000000         0
108.32/108.46	c       523       757    809.20    156.09      5.18   1000000         0
110.03/110.18	c       515       758    798.33    183.35      4.35   1000000         0
111.82/111.90	c       566       776    806.63    152.55      5.29   1000000         0
113.52/113.61	c       568       827    795.77    153.10      5.20   1000000         0
115.22/115.31	c       520       708    793.84    174.49      4.55   1000000         0
116.92/117.02	c       576       681    794.57    153.49      5.18   1000000         0
118.62/118.73	c       534       761    794.93    145.89      5.45   1000000         0
120.32/120.44	c       527       588    806.03    164.02      4.91   1000000         0
122.02/122.15	c       529       898    793.79    164.49      4.83   1000000         0
123.72/123.88	c       510       856    807.54    173.27      4.66   1000000         0
125.52/125.61	c       610       787    822.69    160.01      5.14   1000000         0
127.21/127.33	c       544       710    814.49    174.53      4.67   1000000         0
128.91/129.04	c       516       847    792.37    155.39      5.10   1000000         0
130.61/130.74	c       526       750    781.01    146.86      5.32   1000000         0
132.31/132.44	c       539       935    787.98    154.51      5.10   1000000         0
134.01/134.14	c       513       736    780.30    141.87      5.50   1000000         0
135.71/135.86	c       551       806    808.55    185.62      4.36   1000000         0
137.42/137.57	c       532       765    786.26    158.08      4.97   1000000         0
139.11/139.29	c       569       870    811.15    189.70      4.28   1000000         0
140.91/141.01	c       545       716    810.82    171.80      4.72   1000000         0
142.60/142.77	c       540       775    798.49    174.88      4.57   1000000         0
144.30/144.48	c       535       657    792.76    184.04      4.31   1000000         0
146.00/146.19	c       474       835    779.25    183.02      4.26   1000000         0
147.80/147.90	c       560       794    794.75    166.91      4.76   1000000         0
149.51/149.63	c       550       752    833.01    177.86      4.68   1000000         0
151.20/151.34	c       532       925    800.87    156.54      5.12   1000000         0
152.91/153.05	c       545       701    801.30    183.27      4.37   1000000         0
154.60/154.76	c       554       734    794.77    148.52      5.35   1000000         0
156.30/156.46	c       491       726    779.66    169.79      4.59   1000000         0
157.99/158.16	c       518       819    781.24    171.62      4.55   1000000         0
159.69/159.87	c       544       761    790.04    169.37      4.66   1000000         0
161.39/161.59	c       554       817    797.70    196.43      4.06   1000000         0
163.19/163.30	c       546       640    779.58    173.82      4.49   1000000         0
164.90/165.00	c       469       673    785.43    172.26      4.56   1000000         0
166.59/166.71	c       537       740    795.82    138.64      5.74   1000000         0
168.30/168.42	c       468       686    778.48    155.16      5.02   1000000         0
169.99/170.12	c       530       780    784.95    148.09      5.30   1000000         0
171.69/171.86	c       583       797    841.16    191.90      4.38   1000000         0
173.39/173.56	c       482       756    780.14    175.18      4.45   1000000         0
175.09/175.28	c       499       799    802.88    170.90      4.70   1000000         0
176.79/176.99	c       508       743    811.05    160.85      5.04   1000000         0
178.58/178.72	c       581       981    818.81    177.01      4.63   1000000         0
180.30/180.44	c       539       725    806.45    162.68      4.96   1000000         0
181.99/182.15	c       512       742    789.94    145.94      5.41   1000000         0
183.70/183.87	c       569       771    812.41    150.50      5.40   1000000         0
185.49/185.60	c       522       714    830.07    186.56      4.45   1000000         0
187.19/187.38	c       547       719    817.10    180.84      4.52   1000000         0
188.88/189.09	c       558       680    799.31    163.55      4.89   1000000         0
190.68/190.81	c       533       895    804.39    157.35      5.11   1000000         0
192.39/192.52	c       529       857    794.52    160.44      4.95   1000000         0
194.08/194.24	c       529       687    813.77    192.19      4.23   1000000         0
195.79/195.96	c       527       724    802.60    153.88      5.22   1000000         0
197.48/197.65	c       453       591    779.00    142.61      5.46   1000000         0
199.18/199.37	c       549       857    790.87    140.41      5.63   1000000         0
200.88/201.08	c       510       522    790.43    178.87      4.42   1000000         0
202.58/202.78	c       509       849    774.86    165.27      4.69   1000000         0
204.37/204.51	c       488       727    813.24    217.35      3.74   1000000         0
206.07/206.23	c       539       799    811.26    156.64      5.18   1000000         0
207.78/207.95	c       520       838    795.38    174.71      4.55   1000000         0
209.47/209.66	c       520       817    797.61    150.46      5.30   1000000         0
211.18/211.37	c       553       596    792.47    140.43      5.64   1000000         0
212.87/213.09	c       545       808    807.74    170.06      4.75   1000000         0
214.67/214.81	c       510       778    805.24    174.38      4.62   1000000         0
216.37/216.52	c       530       679    804.38    188.88      4.26   1000000         0
218.07/218.24	c       547       679    801.69    173.39      4.62   1000000         0
219.77/219.95	c       518       625    801.57    174.29      4.60   1000000         0
221.47/221.65	c       508       634    784.15    153.14      5.12   1000000         0
223.18/223.37	c       537       663    810.96    175.20      4.63   1000000         0
224.87/225.08	c       502       869    785.29    156.48      5.02   1000000         0
226.58/226.80	c       482       757    796.21    184.28      4.32   1000000         0
228.37/228.50	c       548       881    786.86    176.61      4.46   1000000         0
230.07/230.21	c       521       846    785.81    214.96      3.66   1000000         0
231.76/231.99	c       550       838    811.42    219.47      3.70   1000000         0
233.46/233.69	c       539       631    770.16    154.71      4.98   1000000         0
235.26/235.42	c       486       809    817.37    170.81      4.79   1000000         0
236.95/237.12	c       512       691    786.52    167.22      4.70   1000000         0
238.66/238.83	c       488       742    785.85    189.51      4.15   1000000         0
240.35/240.55	c       538       735    791.10    155.82      5.08   1000000         0
242.05/242.25	c       530       732    782.82    147.94      5.29   1000000         0
243.75/243.95	c       542       722    779.88    176.79      4.41   1000000         0
245.45/245.65	c       532       711    770.61    175.68      4.39   1000000         0
247.16/247.36	c       474       711    802.87    173.65      4.62   1000000         0
248.86/249.07	c       567       816    806.67    150.04      5.38   1000000         0
250.55/250.78	c       571       727    805.59    136.91      5.88   1000000         0
252.25/252.49	c       488       699    773.73    182.69      4.24   1000000         0
253.96/254.19	c       536       673    792.35    194.59      4.07   1000000         0
255.75/255.91	c       572       718    800.22    195.37      4.10   1000000         0
257.45/257.63	c       567       740    807.27    183.86      4.39   1000000         0
259.15/259.34	c       527       788    794.45    172.08      4.62   1000000         0
260.85/261.04	c       513       831    768.58    154.91      4.96   1000000         0
262.55/262.76	c       508       659    803.44    210.82      3.81   1000000         0
264.24/264.48	c       559       750    792.52    176.26      4.50   1000000         0
265.94/266.19	c       519       820    795.99    150.90      5.27   1000000         0
267.64/267.89	c       512       884    776.38    155.53      4.99   1000000         0
269.45/269.61	c       527       830    794.65    147.01      5.41   1000000         0
271.14/271.31	c       547       799    783.21    173.05      4.53   1000000         0
272.84/273.02	c       538       748    805.92    202.27      3.98   1000000         0
274.54/274.74	c       506       853    798.84    168.93      4.73   1000000         0
276.24/276.48	c       566       592    797.10    173.98      4.58   1000000         0
278.03/278.24	c       607       636    835.45    196.28      4.26   1000000         0
279.73/279.95	c       538       774    777.47    152.39      5.10   1000000         0
281.45/281.66	c       477       816    791.19    147.76      5.35   1000000         0
283.14/283.36	c       551       764    784.43    150.87      5.20   1000000         0
284.84/285.07	c       487       793    779.46    159.32      4.89   1000000         0
286.54/286.79	c       557       739    817.92    164.01      4.99   1000000         0
288.33/288.50	c       531       774    780.44    187.03      4.17   1000000         0
290.03/290.20	c       487       732    780.20    169.51      4.60   1000000         0
291.73/291.91	c       493       691    792.07    150.69      5.26   1000000         0
293.43/293.63	c       569       727    814.98    168.19      4.85   1000000         0
295.13/295.35	c       549       784    804.97    185.45      4.34   1000000         0
296.84/297.06	c       517       602    782.16    177.06      4.42   1000000         0
298.53/298.75	c       548       766    772.31    147.02      5.25   1000000         0
300.24/300.46	c       544       638    785.97    170.19      4.62   1000000         0
301.93/302.17	c       562       653    774.02    144.12      5.37   1000000         0
303.63/303.86	c       454       725    762.29    155.90      4.89   1000000         0
305.33/305.58	c       479       893    780.45    160.20      4.87   1000000         0
307.03/307.29	c       452       711    797.26    181.57      4.39   1000000         0
308.73/308.99	c       528       720    784.00    173.69      4.51   1000000         0
310.52/310.70	c       567       682    792.13    143.17      5.53   1000000         0
312.23/312.42	c       558       630    812.08    181.42      4.48   1000000         0
313.93/314.15	c       513       712    807.77    169.04      4.78   1000000         0
315.63/315.85	c       552       835    789.04    177.59      4.44   1000000         0
317.32/317.58	c       550       889    814.10    178.00      4.57   1000000         0
319.12/319.30	c       480       823    816.30    159.01      5.13   1000000         0
320.82/321.02	c       523       883    805.75    161.35      4.99   1000000         0
322.51/322.71	c       495       903    741.08    163.95      4.52   1000000         0
324.21/324.41	c       527       823    773.76    145.35      5.32   1000000         0
325.91/326.12	c       526       827    794.87    187.78      4.23   1000000         0
327.62/327.83	c       527       721    780.69    151.53      5.15   1000000         0
329.31/329.55	c       566       706    805.31    189.98      4.24   1000000         0
331.02/331.27	c       560       942    820.27    178.09      4.61   1000000         0
332.71/332.99	c       494       817    798.00    197.63      4.04   1000000         0
334.51/334.71	c       557       758    817.66    170.57      4.79   1000000         0
336.21/336.43	c       556       659    797.75    204.48      3.90   1000000         0
337.91/338.13	c       486       734    789.84    149.99      5.27   1000000         0
339.61/339.86	c       520       796    812.09    177.07      4.59   1000000         0
341.31/341.57	c       584       679    801.90    149.38      5.37   1000000         0
343.01/343.27	c       497       732    781.77    160.34      4.88   1000000         0
344.71/344.98	c       483       837    780.35    159.06      4.91   1000000         0
346.41/346.69	c       537       938    803.52    180.47      4.45   1000000         0
348.20/348.40	c       492       681    779.36    172.50      4.52   1000000         0
349.90/350.12	c       569       707    808.25    150.71      5.36   1000000         0
351.60/351.83	c       523       759    793.11    148.23      5.35   1000000         0
353.30/353.55	c       563       687    806.63    153.94      5.24   1000000         0
355.00/355.26	c       553       671    794.43    147.36      5.39   1000000         0
356.70/356.97	c       481       655    795.72    194.07      4.10   1000000         0
358.40/358.68	c       514       832    788.74    178.36      4.42   1000000         0
360.10/360.38	c       494       705    786.19    160.51      4.90   1000000         0
361.80/362.07	c       471       822    785.91    160.41      4.90   1000000         0
363.49/363.79	c       531       726    792.91    181.00      4.38   1000000         0
365.29/365.52	c       541       767    821.79    190.25      4.32   1000000         0
366.99/367.25	c       535       752    790.13    173.18      4.56   1000000         0
368.68/368.97	c       546       737    804.25    148.71      5.41   1000000         0
370.39/370.67	c       532       628    782.42    173.15      4.52   1000000         0
372.08/372.38	c       524       704    791.68    154.69      5.12   1000000         0
373.79/374.09	c       538       685    794.65    211.73      3.75   1000000         0
375.58/375.81	c       532       896    800.06    163.49      4.89   1000000         0
377.28/377.52	c       535       646    792.85    136.33      5.82   1000000         0
378.98/379.24	c       551       837    823.28    175.37      4.69   1000000         0
380.68/380.97	c       540       749    808.37    151.81      5.32   1000000         0
382.48/382.70	c       568       807    829.81    140.67      5.90   1000000         0
384.18/384.41	c       472       646    796.11    185.43      4.29   1000000         0
385.88/386.13	c       533       761    800.29    164.19      4.87   1000000         0
387.58/387.84	c       524       785    790.39    177.70      4.45   1000000         0
389.28/389.56	c       506       868    805.50    142.00      5.67   1000000         0
390.97/391.27	c       523       698    809.45    162.20      4.99   1000000         0
392.77/393.00	c       574       823    811.40    176.68      4.59   1000000         0
394.47/394.74	c       553       768    839.75    181.99      4.61   1000000         0
396.17/396.44	c       534       729    778.71    172.65      4.51   1000000         0
397.87/398.16	c       527       681    798.95    189.57      4.21   1000000         0
399.57/399.88	c       552       662    830.03    207.20      4.01   1000000         0
401.29/401.60	c       507       807    799.16    158.99      5.03   1000000         0
403.08/403.33	c       539       712    816.49    157.35      5.19   1000000         0
404.78/405.05	c       531       784    803.39    193.69      4.15   1000000         0
406.48/406.75	c       522       788    776.96    176.74      4.40   1000000         0
408.18/408.45	c       501       721    769.04    162.26      4.74   1000000         0
409.88/410.17	c       561       800    825.08    167.45      4.93   1000000         0
411.67/411.92	c       505       738    802.26    162.34      4.94   1000000         0
413.38/413.62	c       463       791    779.76    174.18      4.48   1000000         0
415.07/415.35	c       521       639    823.67    197.04      4.18   1000000         0
416.78/417.07	c       520       690    797.27    180.55      4.42   1000000         0
418.47/418.76	c       499       564    765.56    155.98      4.91   1000000         0
420.17/420.47	c       509       779    802.13    186.72      4.30   1000000         0
421.87/422.18	c       572       751    809.98    150.67      5.38   1000000         0
423.67/423.90	c       531       711    795.14    183.63      4.33   1000000         0
425.37/425.62	c       510       902    807.70    219.06      3.69   1000000         0
427.06/427.33	c       545       707    791.41    165.91      4.77   1000000         0
428.77/429.06	c       556       755    829.84    180.28      4.60   1000000         0
430.46/430.78	c       527       740    803.56    177.03      4.54   1000000         0
432.26/432.51	c       560       847    812.19    194.19      4.18   1000000         0
433.96/434.22	c       525       851    787.85    159.98      4.92   1000000         0
435.66/435.93	c       493       704    797.15    160.91      4.95   1000000         0
437.36/437.64	c       550       682    807.48    140.40      5.75   1000000         0
439.06/439.34	c       475       718    782.55    179.51      4.36   1000000         0
440.76/441.06	c       548       683    812.85    185.74      4.38   1000000         0
442.45/442.78	c       580       810    799.90    138.03      5.80   1000000         0
444.16/444.49	c       570       676    796.96    192.42      4.14   1000000         0
445.95/446.21	c       515       737    807.89    162.95      4.96   1000000         0
447.65/447.91	c       526       689    769.78    169.70      4.54   1000000         0
449.35/449.62	c       508       841    785.34    143.94      5.46   1000000         0
451.05/451.32	c       507       748    792.42    183.77      4.31   1000000         0
452.75/453.04	c       521       698    793.33    156.36      5.07   1000000         0
454.45/454.76	c       558       827    796.84    151.81      5.25   1000000         0
456.14/456.49	c       520       789    792.52    136.14      5.82   1000000         0
457.85/458.19	c       483       840    768.40    156.99      4.89   1000000         0
459.66/459.91	c       501       705    817.56    196.08      4.17   1000000         0
461.35/461.61	c       509       763    779.67    137.74      5.66   1000000         0
463.05/463.32	c       554       739    793.19    151.52      5.23   1000000         0
464.75/465.03	c       521       762    786.05    154.12      5.10   1000000         0
466.45/466.75	c       549       739    808.64    164.71      4.91   1000000         0
468.14/468.47	c       538       693    794.68    166.17      4.78   1000000         0
469.84/470.16	c       477       785    765.62    174.39      4.39   1000000         0
471.54/471.88	c       567       723    816.30    144.45      5.65   1000000         0
473.24/473.60	c       557       812    791.49    166.81      4.75   1000000         0
475.05/475.31	c       487       706    799.94    143.34      5.58   1000000         0
476.74/477.02	c       562       691    793.52    153.98      5.15   1000000         0
478.44/478.73	c       556       694    783.12    169.51      4.62   1000000         0
480.14/480.45	c       473       668    796.59    166.74      4.78   1000000         0
481.84/482.15	c       570       757    774.45    122.82      6.31   1000000         0
483.53/483.86	c       532       842    802.44    166.50      4.82   1000000         0
485.23/485.57	c       493       839    808.29    172.36      4.69   1000000         0
486.93/487.29	c       527       746    817.76    168.43      4.86   1000000         0
488.73/489.00	c       491       820    769.71    163.24      4.72   1000000         0
490.44/490.70	c       506       788    792.96    155.04      5.11   1000000         0
492.13/492.40	c       503       809    776.30    153.02      5.07   1000000         0
493.83/494.13	c       547       678    811.86    181.91      4.46   1000000         0
495.53/495.85	c       543       777    817.41    150.01      5.45   1000000         0
497.23/497.55	c       520       691    765.62    169.25      4.52   1000000         0
498.93/499.27	c       584       616    827.92    151.07      5.48   1000000         0
500.63/500.98	c       549       674    792.54    163.40      4.85   1000000         0
502.43/502.74	c       543       670    815.69    181.69      4.49   1000000         0
504.12/504.46	c       558       657    813.68    162.98      4.99   1000000         0
505.82/506.17	c       501       725    800.89    165.02      4.85   1000000         0
507.52/507.89	c       563       755    805.06    183.03      4.40   1000000         0
509.31/509.61	c       468       773    785.11    139.71      5.62   1000000         0
511.01/511.33	c       512       688    816.90    167.24      4.88   1000000         0
512.71/513.04	c       518       842    812.85    187.55      4.33   1000000         0
514.41/514.75	c       525       771    777.12    153.78      5.05   1000000         0
516.12/516.46	c       524       769    795.83    154.41      5.15   1000000         0
517.82/518.17	c       497       563    780.47    165.78      4.71   1000000         0
519.51/519.88	c       521       746    796.92    131.37      6.07   1000000         0
521.31/521.60	c       574       920    803.67    141.83      5.67   1000000         0
523.01/523.32	c       518       678    809.73    183.44      4.41   1000000         0
524.71/525.02	c       527       834    788.43    150.60      5.24   1000000         0
526.41/526.74	c       554       725    797.65    166.03      4.80   1000000         0
528.11/528.45	c       569       768    796.49    163.99      4.86   1000000         0
529.81/530.17	c       528       871    818.02    170.40      4.80   1000000         0
531.51/531.87	c       514       712    768.88    146.64      5.24   1000000         0
533.21/533.59	c       559       767    811.19    158.08      5.13   1000000         0
535.00/535.30	c       545       773    799.30    147.15      5.43   1000000         0
536.70/537.02	c       528       844    802.77    136.58      5.88   1000000         0
538.40/538.73	c       495       769    790.41    179.87      4.39   1000000         0
540.10/540.43	c       528       844    780.10    142.91      5.46   1000000         0
541.80/542.13	c       527       767    782.79    145.45      5.38   1000000         0
543.50/543.84	c       547       693    770.40    142.39      5.41   1000000         0
545.20/545.57	c       517       729    816.03    174.09      4.69   1000000         0
546.99/547.31	c       444       712    770.13    196.05      3.93   1000000         0
548.70/549.01	c       508       806    785.61    168.11      4.67   1000000         0
550.39/550.72	c       581       760    808.82    143.43      5.64   1000000         0
552.09/552.45	c       539       828    815.64    187.33      4.35   1000000         0
553.79/554.17	c       521       686    814.38    183.25      4.44   1000000         0
555.49/555.88	c       520       786    787.42    171.16      4.60   1000000         0
557.19/557.58	c       512       682    774.83    157.60      4.92   1000000         0
558.89/559.28	c       527       955    801.99    160.97      4.98   1000000         0
560.69/561.00	c       538       854    806.96    174.43      4.63   1000000         0
562.39/562.70	c       521       735    772.06    182.55      4.23   1000000         0
564.09/564.41	c       527       668    786.99    151.38      5.20   1000000         0
565.78/566.12	c       527       775    789.11    166.44      4.74   1000000         0
567.48/567.83	c       538       785    797.03    162.42      4.91   1000000         0
569.18/569.54	c       529       661    775.85    173.98      4.46   1000000         0
570.88/571.23	c       492       687    766.28    191.97      3.99   1000000         0
572.59/572.94	c       543       859    784.90    170.12      4.61   1000000         0
574.29/574.66	c       543       849    810.12    199.91      4.05   1000000         0
575.99/576.37	c       564       846    797.21    133.97      5.95   1000000         0
577.69/578.09	c       540       793    798.48    182.87      4.37   1000000         0
579.49/579.81	c       578       748    815.95    177.06      4.61   1000000         0
581.18/581.53	c       507       747    809.97    151.66      5.34   1000000         0
582.88/583.24	c       544       672    795.49    178.66      4.45   1000000         0
584.58/584.94	c       532       690    782.51    171.34      4.57   1000000         0
586.28/586.67	c       533       916    808.39    185.94      4.35   1000000         0
587.98/588.37	c       562       631    769.63    129.94      5.92   1000000         0
589.68/590.08	c       532       667    800.58    158.02      5.07   1000000         0
591.48/591.83	c       532       707    781.26    142.84      5.47   1000000         0
593.17/593.57	c       590       679    834.39    177.57      4.70   1000000         0
594.88/595.29	c       491       703    813.42    154.31      5.27   1000000         0
596.67/597.01	c       513       916    803.24    180.82      4.44   1000000         0
598.37/598.73	c       517       627    786.10    186.78      4.21   1000000         0
600.07/600.44	c       541       675    800.14    174.04      4.60   1000000         0
601.77/602.16	c       536       813    806.89    187.40      4.31   1000000         0
603.47/603.87	c       531       696    780.79    164.26      4.75   1000000         0
605.17/605.58	c       541       699    800.31    165.81      4.83   1000000         0
606.87/607.29	c       466       734    794.27    156.31      5.08   1000000         0
608.66/609.00	c       519       706    789.74    142.62      5.54   1000000         0
610.36/610.71	c       522       734    779.27    156.93      4.97   1000000         0
612.06/612.43	c       528       747    802.25    161.86      4.96   1000000         0
613.76/614.12	c       557       827    781.26    146.19      5.34   1000000         0
615.46/615.84	c       543       798    808.96    161.59      5.01   1000000         0
617.16/617.55	c       582       883    801.55    134.00      5.98   1000000         0
618.86/619.26	c       572       907    792.85    164.69      4.81   1000000         0
620.56/620.97	c       515       771    798.25    151.94      5.25   1000000         0
622.26/622.68	c       541       650    802.58    179.42      4.47   1000000         0
624.06/624.40	c       543       778    810.29    189.68      4.27   1000000         0
625.76/626.11	c       444       638    789.27    206.31      3.83   1000000         0
627.46/627.82	c       518       887    786.67    197.29      3.99   1000000         0
629.16/629.53	c       521       768    804.97    169.64      4.75   1000000         0
630.85/631.24	c       564       606    795.17    161.46      4.92   1000000         0
632.55/632.96	c       567       810    812.13    163.50      4.97   1000000         0
634.25/634.68	c       557       717    793.03    141.16      5.62   1000000         0
636.05/636.42	c       455       773    804.81    170.67      4.72   1000000         0
637.75/638.16	c       557       651    777.13    138.10      5.63   1000000         0
639.44/639.88	c       591       749    820.23    176.85      4.64   1000000         0
641.14/641.59	c       556       739    787.45    162.60      4.84   1000000         0
642.94/643.31	c       540       727    795.73    151.10      5.27   1000000         0
644.64/645.00	c       483       667    769.83    183.41      4.20   1000000         0
646.34/646.71	c       494       875    788.17    146.70      5.37   1000000         0
648.04/648.42	c       538       665    790.17    160.46      4.92   1000000         0
649.74/650.13	c       506       877    784.17    166.76      4.70   1000000         0
651.43/651.84	c       511       669    791.79    182.92      4.33   1000000         0
653.14/653.57	c       473       751    804.32    153.10      5.25   1000000         0
654.83/655.27	c       516       688    789.51    157.62      5.01   1000000         0
656.53/656.98	c       457       694    790.02    180.41      4.38   1000000         0
658.33/658.70	c       513       887    806.43    165.12      4.88   1000000         0
660.03/660.42	c       527       846    814.58    139.28      5.85   1000000         0
661.73/662.13	c       542       729    790.93    165.61      4.78   1000000         0
663.44/663.84	c       542       723    793.59    159.03      4.99   1000000         0
665.15/665.56	c       601       635    798.22    137.23      5.82   1000000         0
666.84/667.27	c       510       733    789.56    163.96      4.82   1000000         0
668.55/668.98	c       554       633    802.67    170.95      4.70   1000000         0
670.34/670.70	c       507       734    817.45    190.32      4.30   1000000         0
672.04/672.43	c       526       820    807.74    173.14      4.67   1000000         0
673.74/674.15	c       429       762    806.36    186.60      4.32   1000000         0
675.44/675.86	c       567       760    783.24    140.36      5.58   1000000         0
677.14/677.57	c       551       806    788.78    153.73      5.13   1000000         0
678.84/679.29	c       569      1006    807.53    161.97      4.99   1000000         0
680.54/680.99	c       580       753    789.33    137.34      5.75   1000000         0
682.33/682.76	c       571       811    800.22    152.65      5.24   1000000         0
684.03/684.48	c       563       937    821.05    138.36      5.93   1000000         0
685.73/686.19	c       565       702    808.77    161.07      5.02   1000000         0
687.53/687.92	c       544       629    813.58    215.13      3.78   1000000         0
689.23/689.62	c       564       727    770.47    132.04      5.84   1000000         0
690.92/691.33	c       509       757    811.94    175.88      4.62   1000000         0
692.63/693.04	c       518       779    794.00    151.25      5.25   1000000         0
694.32/694.76	c       533       804    808.84    165.33      4.89   1000000         0
696.03/696.47	c       502       620    804.22    179.09      4.49   1000000         0
697.72/698.19	c       533       682    817.53    179.42      4.56   1000000         0
699.52/699.91	c       560       758    800.65    181.64      4.41   1000000         0
701.22/701.63	c       514       669    797.30    172.64      4.62   1000000         0
702.92/703.33	c       530       648    790.28    166.82      4.74   1000000         0
704.62/705.05	c       493       870    801.48    196.18      4.09   1000000         0
706.32/706.77	c       506       720    823.76    162.32      5.07   1000000         0
708.02/708.49	c       536       850    809.33    187.47      4.32   1000000         0
709.72/710.20	c       526       681    779.52    195.56      3.99   1000000         0
711.51/711.92	c       528       873    814.92    189.17      4.31   1000000         0
713.21/713.65	c       569       768    814.18    162.40      5.01   1000000         0
714.91/715.35	c       515       693    783.67    141.99      5.52   1000000         0
716.61/717.06	c       543       909    787.66    164.45      4.79   1000000         0
718.31/718.78	c       511       674    809.41    168.32      4.81   1000000         0
720.01/720.49	c       546       709    789.12    136.22      5.79   1000000         0
721.81/722.22	c       557       740    816.15    160.36      5.09   1000000         0
723.51/723.94	c       542       713    806.75    150.13      5.37   1000000         0
725.21/725.65	c       506       662    803.02    174.47      4.60   1000000         0
727.00/727.44	c       494       829    808.90    196.78      4.11   1000000         0
728.70/729.16	c       551       765    811.42    145.23      5.59   1000000         0
730.40/730.88	c       596       789    820.31    140.57      5.84   1000000         0
732.09/732.57	c       503       735    772.08    150.75      5.12   1000000         0
733.89/734.31	c       590       693    827.30    157.03      5.27   1000000         0
735.60/736.03	c       554       660    796.82    154.05      5.17   1000000         0
737.29/737.73	c       534       793    777.60    150.02      5.18   1000000         0
738.99/739.45	c       573       835    815.66    144.90      5.63   1000000         0
740.69/741.17	c       523       648    801.26    148.27      5.40   1000000         0
742.49/742.91	c       560       701    836.97    183.90      4.55   1000000         0
744.19/744.61	c       499       827    795.37    160.04      4.97   1000000         0
745.89/746.32	c       543       736    802.29    155.14      5.17   1000000         0
747.59/748.03	c       520       699    787.53    155.90      5.05   1000000         0
749.29/749.77	c       563       808    829.56    175.84      4.72   1000000         0
750.99/751.49	c       548       737    793.10    179.53      4.42   1000000         0
752.79/753.20	c       495       884    799.80    186.77      4.28   1000000         0
754.49/754.92	c       501       852    795.35    181.09      4.39   1000000         0
756.19/756.63	c       500       866    794.99    154.30      5.15   1000000         0
757.89/758.34	c       509       727    796.13    147.35      5.40   1000000         0
759.59/760.06	c       508       712    797.53    174.34      4.57   1000000         0
761.29/761.79	c       583       845    820.13    168.54      4.87   1000000         0
763.00/763.49	c       542       730    787.82    167.43      4.71   1000000         0
764.79/765.22	c       501       840    815.85    157.68      5.17   1000000         0
766.49/766.94	c       505       758    801.16    180.75      4.43   1000000         0
768.19/768.65	c       565       769    782.38    166.47      4.70   1000000         0
769.88/770.35	c       465       802    773.14    170.97      4.52   1000000         0
771.58/772.05	c       487       838    767.16    174.84      4.39   1000000         0
773.28/773.76	c       545       899    787.22    137.61      5.72   1000000         0
774.97/775.49	c       559       682    806.61    155.91      5.17   1000000         0
776.77/777.20	c       519       742    812.86    159.17      5.11   1000000         0
778.48/778.91	c       537       686    779.71    147.06      5.30   1000000         0
780.17/780.62	c       570       693    798.60    144.49      5.53   1000000         0
781.87/782.33	c       552       650    799.82    151.24      5.29   1000000         0
783.57/784.03	c       493       718    792.44    170.91      4.64   1000000         0
785.27/785.75	c       527       652    797.00    187.73      4.25   1000000         0
786.97/787.44	c       523       891    765.91    169.95      4.51   1000000         0
788.67/789.15	c       540       698    772.59    173.32      4.46   1000000         0
790.37/790.86	c       517       807    791.23    172.59      4.58   1000000         0
792.06/792.56	c       547       722    786.18    188.59      4.17   1000000         0
793.77/794.28	c       498       739    814.55    174.18      4.68   1000000         0
795.47/795.99	c       523       790    786.32    208.86      3.76   1000000         0
797.18/797.69	c       499       754    774.33    173.79      4.46   1000000         0
798.87/799.39	c       536       786    778.37    166.16      4.68   1000000         0
800.67/801.10	c       520       889    814.96    189.44      4.30   1000000         0
802.36/802.82	c       531       683    796.95    210.92      3.78   1000000         0
804.06/804.53	c       500       763    786.14    180.01      4.37   1000000         0
805.76/806.24	c       541       800    790.57    176.44      4.48   1000000         0
807.46/807.97	c       521       870    823.30    174.79      4.71   1000000         0
809.17/809.66	c       511       582    781.78    166.25      4.70   1000000         0
810.86/811.39	c       554       699    817.84    181.50      4.51   1000000         0
812.56/813.09	c       492       651    797.85    196.12      4.07   1000000         0
814.26/814.79	c       482       694    769.07    159.03      4.84   1000000         0
816.05/816.51	c       488       675    780.78    204.91      3.81   1000000         0
817.75/818.22	c       512       803    796.88    164.22      4.85   1000000         0
819.45/819.92	c       531       603    767.50    155.13      4.95   1000000         0
821.16/821.64	c       521       711    808.71    171.42      4.72   1000000         0
822.85/823.36	c       531       710    812.45    152.86      5.31   1000000         0
824.56/825.08	c       517       818    800.73    154.26      5.19   1000000         0
826.25/826.78	c       547       757    794.78    177.03      4.49   1000000         0
827.96/828.49	c       540       743    793.94    149.89      5.30   1000000         0
829.65/830.19	c       535       580    780.82    169.50      4.61   1000000         0
831.45/831.90	c       532       824    800.51    202.56      3.95   1000000         0
833.15/833.61	c       522       816    801.23    147.75      5.42   1000000         0
834.85/835.31	c       535       816    769.42    149.61      5.14   1000000         0
836.55/837.03	c       561       690    805.87    148.15      5.44   1000000         0
838.25/838.72	c       526       765    756.29    138.57      5.46   1000000         0
839.95/840.43	c       556       770    792.43    182.69      4.34   1000000         0
841.64/842.14	c       535       958    783.05    165.12      4.74   1000000         0
843.35/843.84	c       499       801    775.41    158.62      4.89   1000000         0
845.04/845.56	c       469       612    798.50    199.62      4.00   1000000         0
846.74/847.27	c       529       722    793.85    182.12      4.36   1000000         0
848.44/848.99	c       568       681    811.62    182.53      4.45   1000000         0
850.24/850.70	c       486       727    799.65    153.12      5.22   1000000         0
851.94/852.41	c       479       794    800.76    200.40      4.00   1000000         0
853.64/854.14	c       586       779    820.93    184.56      4.45   1000000         0
855.34/855.86	c       569       773    795.77    174.27      4.57   1000000         0
857.03/857.58	c       557       808    809.98    152.13      5.32   1000000         0
858.74/859.29	c       566       744    785.49    153.54      5.12   1000000         0
860.53/861.01	c       560       864    822.42    158.33      5.19   1000000         0
862.23/862.75	c       543       666    791.70    182.05      4.35   1000000         0
863.93/864.47	c       572       723    822.14    159.83      5.14   1000000         0
865.63/866.18	c       557       659    775.02    143.62      5.40   1000000         0
867.33/867.88	c       465       685    769.15    179.51      4.28   1000000         0
869.03/869.59	c       504       792    795.36    200.42      3.97   1000000         0
870.84/871.32	c       545       751    827.04    211.09      3.92   1000000         0
872.53/873.05	c       521       789    812.82    188.78      4.31   1000000         0
874.23/874.76	c       502       780    789.68    181.30      4.36   1000000         0
875.93/876.48	c       553       861    808.88    161.69      5.00   1000000         0
877.63/878.19	c       509       614    793.25    179.55      4.42   1000000         0
879.42/879.90	c       515       761    799.88    163.42      4.89   1000000         0
881.12/881.62	c       477       776    790.67    142.17      5.56   1000000         0
882.83/883.33	c       491       674    794.41    151.59      5.24   1000000         0
884.52/885.05	c       596       765    817.07    137.22      5.95   1000000         0
886.23/886.75	c       489       641    771.82    202.13      3.82   1000000         0
887.92/888.45	c       526       702    790.41    183.57      4.31   1000000         0
889.62/890.17	c       471       832    812.48    162.58      5.00   1000000         0
891.32/891.88	c       514       876    780.50    155.18      5.03   1000000         0
893.12/893.60	c       514       662    807.54    178.12      4.53   1000000         0
894.82/895.31	c       520       758    786.65    177.10      4.44   1000000         0
896.52/897.02	c       548       764    784.11    162.46      4.83   1000000         0
898.22/898.74	c       530       779    810.87    179.83      4.51   1000000         0
899.91/900.45	c       551       798    796.90    155.29      5.13   1000000         0
901.62/902.17	c       545       714    805.64    153.90      5.23   1000000         0
903.31/903.88	c       527       740    791.54    165.86      4.77   1000000         0
905.11/905.61	c       550       814    810.10    165.69      4.89   1000000         0
906.80/907.33	c       482       895    783.17    169.23      4.63   1000000         0
908.50/909.04	c       519       766    778.40    173.45      4.49   1000000         0
910.20/910.74	c       503       521    789.74    165.58      4.77   1000000         0
911.90/912.45	c       587       625    792.17    139.57      5.68   1000000         0
913.61/914.17	c       538       585    799.71    183.26      4.36   1000000         0
915.30/915.88	c       561       770    807.10    200.03      4.03   1000000         0
917.10/917.60	c       542       706    796.50    186.65      4.27   1000000         0
918.70/919.30	c       497       902    765.15    153.65      4.98   1000000         0
920.50/921.00	c       518       538    793.22    137.29      5.78   1000000         0
922.20/922.73	c       549       626    826.34    138.21      5.98   1000000         0
923.89/924.43	c       503       717    765.47    164.80      4.64   1000000         0
925.59/926.15	c       507       649    805.37    155.71      5.17   1000000         0
927.29/927.86	c       561       768    793.90    162.13      4.90   1000000         0
929.00/929.59	c       482       835    807.87    185.57      4.35   1000000         0
930.79/931.30	c       549       893    803.75    172.48      4.66   1000000         0
932.50/933.02	c       560       726    809.62    174.44      4.64   1000000         0
934.20/934.72	c       528       695    767.73    176.06      4.36   1000000         0
935.90/936.44	c       566       828    812.14    172.57      4.71   1000000         0
937.60/938.16	c       451       861    798.31    146.93      5.43   1000000         0
939.29/939.89	c       531       760    821.55    205.23      4.00   1000000         0
940.99/941.58	c       452       741    775.18    164.84      4.70   1000000         0
942.79/943.30	c       509       820    793.39    139.46      5.69   1000000         0
944.50/945.01	c       525       652    783.50    173.31      4.52   1000000         0
946.19/946.71	c       554       710    791.84    161.16      4.91   1000000         0
947.89/948.44	c       551       775    830.00    159.79      5.19   1000000         0
949.59/950.17	c       515       684    809.06    178.71      4.53   1000000         0
951.38/951.92	c       580       964    816.41    168.35      4.85   1000000         0
953.08/953.65	c       508       772    818.07    186.51      4.39   1000000         0
954.78/955.36	c       533       667    809.50    166.30      4.87   1000000         0
956.49/957.07	c       528       780    806.67    158.90      5.08   1000000         0
958.18/958.77	c       475       880    774.77    127.57      6.07   1000000         0
959.89/960.48	c       545       701    791.37    146.64      5.40   1000000         0
961.58/962.19	c       477       771    805.54    188.18      4.28   1000000         0
963.38/963.91	c       536       864    803.87    184.44      4.36   1000000         0
965.08/965.64	c       500       828    816.26    162.96      5.01   1000000         0
966.78/967.35	c       506       724    804.26    156.70      5.13   1000000         0
968.47/969.06	c       498       745    796.77    174.03      4.58   1000000         0
970.17/970.77	c       552       778    800.65    143.58      5.58   1000000         0
971.88/972.48	c       509       858    798.23    135.58      5.89   1000000         0
973.67/974.21	c       542       750    810.40    180.27      4.50   1000000         0
975.37/975.92	c       537       687    784.93    157.03      5.00   1000000         0
977.07/977.64	c       543       673    796.92    182.90      4.36   1000000         0
978.77/979.36	c       528       856    803.42    169.06      4.75   1000000         0
980.47/981.08	c       576       747    796.51    162.67      4.90   1000000         0
982.17/982.78	c       549       644    795.84    178.49      4.46   1000000         0
983.98/984.50	c       552       695    804.15    210.15      3.83   1000000         0
985.67/986.21	c       514       805    791.36    153.11      5.17   1000000         0
987.37/987.91	c       528       568    795.40    170.02      4.68   1000000         0
989.07/989.63	c       460       589    784.73    168.50      4.66   1000000         0
990.76/991.34	c       499       674    804.26    179.10      4.49   1000000         0
992.46/993.05	c       535       857    798.50    172.27      4.64   1000000         0
994.16/994.76	c       465       900    799.58    187.14      4.27   1000000         0
995.86/996.49	c       534       845    765.53    129.25      5.92   1000000         0
997.66/998.20	c       535       833    787.10    169.81      4.64   1000000         0
999.36/999.92	c       520       713    803.00    207.67      3.87   1000000         0
1001.05/1001.63	c       587       791    795.82    147.40      5.40   1000000         0
1002.76/1003.35	c       560       804    812.60    145.88      5.57   1000000         0
1004.45/1005.05	c       514       709    780.03    175.95      4.43   1000000         0
1006.15/1006.76	c       514       596    797.20    150.94      5.28   1000000         0
1007.85/1008.46	c       487       812    763.99    167.26      4.57   1000000         0
1009.55/1010.16	c       536       734    772.13    161.93      4.77   1000000         0
1011.25/1011.87	c       543       650    801.96    151.54      5.29   1000000         0
1012.95/1013.58	c       455       755    772.17    166.24      4.64   1000000         0
1014.65/1015.29	c       527       742    791.05    199.72      3.96   1000000         0
1016.45/1017.01	c       554       729    807.01    139.59      5.78   1000000         0
1018.15/1018.74	c       562       642    818.24    165.52      4.94   1000000         0
1019.85/1020.45	c       549       739    795.42    160.04      4.97   1000000         0
1021.54/1022.15	c       491       813    777.58    158.55      4.90   1000000         0
1023.24/1023.87	c       521       694    817.81    165.19      4.95   1000000         0
1024.94/1025.58	c       572       764    800.18    169.40      4.72   1000000         0
1026.74/1027.30	c       532       810    818.12    167.49      4.88   1000000         0
1028.45/1029.03	c       495       640    808.81    215.79      3.75   1000000         0
1030.16/1030.74	c       546       966    797.58    188.19      4.24   1000000         0
1031.85/1032.46	c       485       676    807.73    175.62      4.60   1000000         0
1033.56/1034.16	c       524       692    788.10    145.72      5.41   1000000         0
1035.25/1035.87	c       517       719    796.59    185.20      4.30   1000000         0
1036.95/1037.59	c       493       775    801.08    172.67      4.64   1000000         0
1038.65/1039.29	c       496       597    770.59    181.22      4.25   1000000         0
1040.35/1040.99	c       482       879    772.42    169.90      4.55   1000000         0
1042.14/1042.75	c       529       837    788.45    155.31      5.08   1000000         0
1043.84/1044.45	c       487       791    773.86    179.52      4.31   1000000         0
1045.54/1046.15	c       495       778    789.65    179.26      4.41   1000000         0
1047.23/1047.87	c       512       819    797.28    197.94      4.03   1000000         0
1048.94/1049.59	c       509       818    805.90    170.82      4.72   1000000         0
1050.73/1051.32	c       538       826    822.51    152.17      5.41   1000000         0
1052.43/1053.03	c       569       739    794.09    171.87      4.62   1000000         0
1054.13/1054.75	c       579       703    816.77    151.59      5.39   1000000         0
1055.83/1056.47	c       556       745    813.45    125.07      6.50   1000000         0
1057.53/1058.19	c       534       803    799.99    184.80      4.33   1000000         0
1059.23/1059.89	c       513       709    778.13    139.72      5.57   1000000         0
1060.93/1061.60	c       546       712    796.63    164.81      4.83   1000000         0
1062.73/1063.32	c       533       778    798.07    178.87      4.46   1000000         0
1064.43/1065.02	c       469       582    781.05    155.12      5.04   1000000         0
1066.12/1066.72	c       485       772    784.65    188.33      4.17   1000000         0
1067.82/1068.43	c       481       772    782.89    178.88      4.38   1000000         0
1069.52/1070.12	c       447       870    766.93    163.63      4.69   1000000         0
1071.22/1071.83	c       541       784    791.22    164.48      4.81   1000000         0
1072.92/1073.55	c       560       720    819.99    173.08      4.74   1000000         0
1074.62/1075.26	c       515       689    783.78    158.91      4.93   1000000         0
1076.32/1076.96	c       538       691    784.09    163.09      4.81   1000000         0
1078.02/1078.67	c       483       558    773.82    192.91      4.01   1000000         0
1079.72/1080.39	c       592       734    816.26    156.93      5.20   1000000         0
1081.52/1082.11	c       527       697    804.31    133.83      6.01   1000000         0
1083.21/1083.84	c       512       699    812.13    167.28      4.85   1000000         0
1084.91/1085.56	c       510       730    795.37    199.59      3.98   1000000         0
1086.70/1087.32	c       498       835    794.35    203.29      3.91   1000000         0
1088.41/1089.03	c       548       769    791.15    166.64      4.75   1000000         0
1090.10/1090.75	c       563       743    795.70    144.98      5.49   1000000         0
1091.81/1092.46	c       494       851    795.28    152.50      5.21   1000000         0
1093.50/1094.18	c       533       791    801.20    146.84      5.46   1000000         0
1095.31/1095.90	c       547       747    818.63    158.54      5.16   1000000         0
1097.01/1097.62	c       571       754    807.11    175.50      4.60   1000000         0
1098.71/1099.33	c       563       625    789.65    146.74      5.38   1000000         0
1100.41/1101.04	c       546       772    805.00    159.20      5.06   1000000         0
1102.10/1102.77	c       574       803    814.34    149.96      5.43   1000000         0
1103.81/1104.49	c       546       664    801.29    157.00      5.10   1000000         0
1105.60/1106.21	c       506       664    795.17    151.50      5.25   1000000         0
1107.30/1107.93	c       582       869    822.18    186.63      4.41   1000000         0
1109.00/1109.64	c       509       851    796.58    189.27      4.21   1000000         0
1110.70/1111.35	c       452       859    803.43    163.86      4.90   1000000         0
1112.40/1113.05	c       520       604    771.79    149.43      5.16   1000000         0
1114.09/1114.77	c       527       918    806.02    141.82      5.68   1000000         0
1115.79/1116.47	c       521       747    782.08    191.88      4.08   1000000         0
1117.49/1118.19	c       580       791    814.89    134.13      6.08   1000000         0
1119.30/1119.91	c       556       681    792.79    151.03      5.25   1000000         0
1120.99/1121.62	c       574       792    788.61    156.33      5.04   1000000         0
1122.69/1123.33	c       474       748    786.10    142.67      5.51   1000000         0
1124.39/1125.04	c       561       699    789.90    172.36      4.58   1000000         0
1126.10/1126.77	c       542       735    818.53    166.61      4.91   1000000         0
1127.80/1128.49	c       541       677    811.46    176.22      4.60   1000000         0
1129.60/1130.20	c       457       705    800.29    168.71      4.74   1000000         0
1131.30/1131.98	c       514       642    800.27    158.50      5.05   1000000         0
1132.98/1133.69	c       538       693    802.59    160.24      5.01   1000000         0
1134.78/1135.40	c       499       854    788.86    183.10      4.31   1000000         0
1136.48/1137.11	c       468       671    779.39    174.04      4.48   1000000         0
1138.18/1138.83	c       543       687    807.33    164.23      4.92   1000000         0
1139.88/1140.55	c       497       721    799.75    188.27      4.25   1000000         0
1141.58/1142.23	c       504       759    766.20    151.03      5.07   1000000         0
1143.28/1143.93	c       511       866    778.84    152.89      5.09   1000000         0
1144.98/1145.66	c       485       772    815.40    176.24      4.63   1000000         0
1146.69/1147.37	c       552       638    801.12    137.00      5.85   1000000         0
1148.38/1149.07	c       461       691    775.42    164.59      4.71   1000000         0
1150.08/1150.78	c       536       849    785.29    169.50      4.63   1000000         0
1151.78/1152.49	c       489       706    791.56    155.60      5.09   1000000         0
1153.47/1154.19	c       536       812    779.44    188.52      4.13   1000000         0
1155.27/1155.90	c       475       855    791.08    176.28      4.49   1000000         0
1156.97/1157.61	c       575       782    797.92    141.40      5.64   1000000         0
1158.67/1159.31	c       556       835    773.89    156.27      4.95   1000000         0
1160.37/1161.03	c       510       728    807.97    212.60      3.80   1000000         0
1162.08/1162.73	c       509       821    773.72    147.57      5.24   1000000         0
1163.77/1164.45	c       457       734    796.52    195.96      4.06   1000000         0
1165.48/1166.15	c       500       767    784.94    149.82      5.24   1000000         0
1167.17/1167.86	c       546       715    786.28    148.54      5.29   1000000         0
1168.87/1169.58	c       559       668    805.66    175.93      4.58   1000000         0
1170.57/1171.29	c       574       863    801.53    162.91      4.92   1000000         0
1172.27/1173.00	c       540       651    782.69    169.94      4.61   1000000         0
1174.06/1174.72	c       580       717    818.17    200.13      4.09   1000000         0
1175.76/1176.45	c       536       578    781.51    158.39      4.93   1000000         0
1177.46/1178.19	c       541       797    791.00    177.05      4.47   1000000         0
1179.25/1179.90	c       534       689    803.53    185.69      4.33   1000000         0
1180.95/1181.61	c       529       796    789.25    205.80      3.83   1000000         0
1182.65/1183.33	c       491       844    790.59    181.03      4.37   1000000         0
1184.35/1185.05	c       570       674    814.38    168.81      4.82   1000000         0
1186.05/1186.76	c       544       750    786.40    200.68      3.92   1000000         0
1187.75/1188.47	c       546       756    796.60    166.79      4.78   1000000         0
1189.45/1190.18	c       555       734    812.61    166.81      4.87   1000000         0
1191.15/1191.88	c       485       866    761.51    177.12      4.30   1000000         0
1192.86/1193.58	c       543       836    791.89    130.53      6.07   1000000         0
1194.65/1195.30	c       520       865    805.26    164.26      4.90   1000000         0
1196.35/1197.02	c       447       873    794.74    185.90      4.28   1000000         0
1198.05/1198.73	c       507       840    789.56    186.15      4.24   1000000         0
1199.75/1200.45	c       567       751    800.15    169.68      4.72   1000000         0
1201.45/1202.16	c       544       822    795.92    171.27      4.65   1000000         0
1203.14/1203.87	c       536       865    792.13    148.17      5.35   1000000         0
1204.84/1205.58	c       550       902    791.07    167.92      4.71   1000000         0
1206.64/1207.30	c       507       913    811.81    175.55      4.62   1000000         0
1208.35/1209.03	c       485       867    818.49    216.05      3.79   1000000         0
1210.04/1210.75	c       539       779    808.23    194.56      4.15   1000000         0
1211.74/1212.45	c       539       808    778.95    153.54      5.07   1000000         0
1213.44/1214.16	c       549       799    789.23    184.85      4.27   1000000         0
1215.14/1215.88	c       583       797    809.55    169.10      4.79   1000000         0
1216.84/1217.59	c       543       689    784.30    156.08      5.02   1000000         0
1218.64/1219.30	c       535       706    794.15    188.84      4.21   1000000         0
1220.34/1221.01	c       581       776    810.01    148.00      5.47   1000000         0
1222.03/1222.79	c       547       806    808.79    186.09      4.35   1000000         0
1223.83/1224.50	c       558       641    786.13    160.59      4.90   1000000         0
1225.53/1226.22	c       573       796    807.85    181.61      4.45   1000000         0
1227.23/1227.93	c       496       847    791.29    165.36      4.79   1000000         0
1228.94/1229.63	c       558       806    787.96    137.42      5.73   1000000         0
1230.63/1231.35	c       466       794    802.82    152.58      5.26   1000000         0
1232.33/1233.06	c       551       798    785.63    169.37      4.64   1000000         0
1234.03/1234.76	c       532       683    777.33    142.33      5.46   1000000         0
1235.74/1236.47	c       523       688    795.53    205.89      3.86   1000000         0
1237.43/1238.18	c       573       707    811.98    150.77      5.39   1000000         0
1239.14/1239.88	c       475       765    774.30    193.77      4.00   1000000         0
1240.93/1241.60	c       533       854    808.90    162.90      4.97   1000000         0
1242.63/1243.34	c       521       807    813.66    188.61      4.31   1000000         0
1244.33/1245.06	c       521       709    810.78    176.41      4.60   1000000         0
1246.03/1246.79	c       578       754    837.26    172.07      4.87   1000000         0
1247.73/1248.49	c       507       822    786.90    170.19      4.62   1000000         0
1249.53/1250.20	c       574       769    811.90    125.12      6.49   1000000         0
1251.23/1251.92	c       515       738    810.92    165.86      4.89   1000000         0
1252.92/1253.65	c       523       770    801.68    181.67      4.41   1000000         0
1254.62/1255.36	c       498       788    791.63    148.52      5.33   1000000         0
1256.32/1257.07	c       568       766    789.19    146.98      5.37   1000000         0
1258.02/1258.77	c       512       724    772.05    127.83      6.04   1000000         0
1259.72/1260.47	c       545       742    787.61    190.00      4.15   1000000         0
1261.42/1262.19	c       477       750    797.66    161.10      4.95   1000000         0
1263.12/1263.89	c       501       762    785.48    159.72      4.92   1000000         0
1264.92/1265.60	c       509       710    805.08    198.35      4.06   1000000         0
1266.62/1267.37	c       518       679    780.71    146.20      5.34   1000000         0
1268.41/1269.10	c       531       824    824.83    172.64      4.78   1000000         0
1270.11/1270.83	c       580       774    815.31    182.59      4.47   1000000         0
1271.81/1272.52	c       487       714    776.21    166.56      4.66   1000000         0
1273.51/1274.23	c       536       786    794.84    177.48      4.48   1000000         0
1275.20/1275.92	c       529       661    782.33    144.08      5.43   1000000         0
1276.90/1277.64	c       509       856    803.81    179.95      4.47   1000000         0
1278.61/1279.36	c       518       699    790.27    150.67      5.25   1000000         0
1280.30/1281.08	c       507       803    808.87    181.60      4.45   1000000         0
1282.01/1282.79	c       521       733    792.42    172.22      4.60   1000000         0
1283.80/1284.52	c       596       796    834.51    161.63      5.16   1000000         0
1285.50/1286.22	c       517       782    779.03    199.81      3.90   1000000         0
1287.20/1287.93	c       493       616    790.86    178.20      4.44   1000000         0
1288.90/1289.63	c       554       864    784.74    117.24      6.69   1000000         0
1290.59/1291.34	c       524       778    780.48    134.14      5.82   1000000         0
1292.29/1293.06	c       579       847    819.35    160.52      5.10   1000000         0
1294.00/1294.77	c       529       762    774.20    165.78      4.67   1000000         0
1295.69/1296.49	c       503       783    805.04    158.02      5.09   1000000         0
1297.50/1298.20	c       535       731    797.40    156.73      5.09   1000000         0
1299.20/1299.91	c       558       832    784.66    174.35      4.50   1000000         0
1300.90/1301.62	c       572       767    801.40    148.36      5.40   1000000         0
1302.60/1303.32	c       522       726    779.31    166.92      4.67   1000000         0
1304.30/1305.02	c       502       876    786.96    168.50      4.67   1000000         0
1305.99/1306.74	c       515       812    799.63    209.62      3.81   1000000         0
1307.69/1308.47	c       525       823    847.16    159.81      5.30   1000000         0
1309.40/1310.18	c       538       689    787.17    160.83      4.89   1000000         0
1311.19/1311.91	c       529       727    805.63    144.76      5.57   1000000         0
1312.89/1313.63	c       549       770    798.17    176.78      4.52   1000000         0
1314.59/1315.34	c       488       735    790.70    187.94      4.21   1000000         0
1316.28/1317.06	c       485       820    825.83    178.59      4.62   1000000         0
1317.98/1318.79	c       521       692    798.11    167.22      4.77   1000000         0
1319.68/1320.49	c       514       914    780.55    188.92      4.13   1000000         0
1321.49/1322.20	c       519       832    798.51    151.87      5.26   1000000         0
1323.18/1323.90	c       540       725    783.36    167.83      4.67   1000000         0
1324.89/1325.62	c       547       750    811.88    155.85      5.21   1000000         0
1326.58/1327.34	c       583       701    806.69    167.14      4.83   1000000         0
1328.28/1329.05	c       517       851    795.33    167.05      4.76   1000000         0
1329.98/1330.78	c       534       784    813.86    173.90      4.68   1000000         0
1331.67/1332.49	c       510       773    800.20    155.71      5.14   1000000         0
1333.47/1334.21	c       492       973    809.40    166.43      4.86   1000000         0
1335.17/1335.90	c       478       781    774.47    177.63      4.36   1000000         0
1336.88/1337.63	c       551       818    811.06    175.52      4.62   1000000         0
1338.57/1339.35	c       534       823    807.31    173.54      4.65   1000000         0
1340.28/1341.06	c       512       773    799.78    139.39      5.74   1000000         0
1341.97/1342.76	c       523       763    790.02    167.87      4.71   1000000         0
1343.67/1344.47	c       497       870    797.41    172.69      4.62   1000000         0
1345.37/1346.18	c       490       736    777.17    173.16      4.49   1000000         0
1347.17/1347.90	c       554       732    795.40    152.94      5.20   1000000         0
1348.87/1349.61	c       509       822    790.76    174.69      4.53   1000000         0
1350.57/1351.33	c       589       990    814.55    182.26      4.47   1000000         0
1352.27/1353.05	c       593       799    813.77    161.45      5.04   1000000         0
1353.97/1354.76	c       502       867    786.03    165.19      4.76   1000000         0
1355.67/1356.47	c       535       735    770.88    176.06      4.38   1000000         0
1357.36/1358.19	c       543       565    811.10    159.17      5.10   1000000         0
1359.06/1359.89	c       534       759    787.06    156.62      5.03   1000000         0
1360.76/1361.59	c       461       628    779.47    189.95      4.10   1000000         0
1362.56/1363.30	c       533       767    777.98    156.55      4.97   1000000         0
1364.25/1365.00	c       554       744    781.10    140.07      5.58   1000000         0
1365.95/1366.70	c       547       889    782.84    168.67      4.64   1000000         0
1367.66/1368.41	c       525       675    784.16    130.45      6.01   1000000         0
1369.35/1370.12	c       551       782    807.12    187.76      4.30   1000000         0
1371.06/1371.83	c       523       785    777.29    164.89      4.71   1000000         0
1372.75/1373.55	c       538       837    802.91    171.57      4.68   1000000         0
1374.46/1375.26	c       550       749    794.05    140.93      5.63   1000000         0
1376.16/1376.97	c       580       777    804.72    154.00      5.23   1000000         0
1377.86/1378.68	c       541       696    784.54    167.78      4.68   1000000         0
1379.66/1380.40	c       560       832    796.23    146.86      5.42   1000000         0
1381.35/1382.11	c       565       719    793.96    144.11      5.51   1000000         0
1383.06/1383.82	c       486       853    791.71    132.86      5.96   1000000         0
1384.75/1385.53	c       528       827    789.37    173.59      4.55   1000000         0
1386.46/1387.25	c       566       854    809.73    171.65      4.72   1000000         0
1388.15/1388.96	c       534       724    790.43    186.53      4.24   1000000         0
1389.85/1390.69	c       580       833    824.30    197.16      4.18   1000000         0
1391.55/1392.38	c       487       505    760.63    147.33      5.16   1000000         0
1393.35/1394.10	c       519       788    798.78    171.57      4.66   1000000         0
1395.05/1395.82	c       521       831    801.51    184.77      4.34   1000000         0
1396.75/1397.53	c       469       759    798.08    159.52      5.00   1000000         0
1398.45/1399.24	c       548       669    794.89    168.64      4.71   1000000         0
1400.15/1400.96	c       505       751    803.58    181.42      4.43   1000000         0
1401.85/1402.69	c       548       775    785.66    200.38      3.92   1000000         0
1403.64/1404.42	c       580       744    823.32    160.16      5.14   1000000         0
1405.34/1406.11	c       528       666    772.83    156.04      4.95   1000000         0
1407.03/1407.82	c       512       792    798.11    171.72      4.65   1000000         0
1408.73/1409.54	c       528       753    797.56    206.25      3.87   1000000         0
1410.43/1411.25	c       544       799    785.79    161.07      4.88   1000000         0
1412.13/1412.96	c       509       805    803.33    176.20      4.56   1000000         0
1413.84/1414.69	c       513       876    816.18    164.28      4.97   1000000         0
1415.53/1416.38	c       532       700    762.17    187.38      4.07   1000000         0
1417.23/1418.09	c       548       745    809.68    176.10      4.60   1000000         0
1419.04/1419.80	c       519       874    777.34    186.06      4.18   1000000         0
1420.74/1421.51	c       546       666    791.20    135.11      5.86   1000000         0
1422.43/1423.22	c       531       808    795.29    184.63      4.31   1000000         0
1424.13/1424.94	c       594       701    810.38    154.41      5.25   1000000         0
1425.83/1426.66	c       526       665    811.99    162.37      5.00   1000000         0
1427.53/1428.38	c       576       830    811.95    129.77      6.26   1000000         0
1429.24/1430.08	c       515       746    785.26    147.21      5.33   1000000         0
1431.03/1431.81	c       518       711    805.98    174.77      4.61   1000000         0
1432.73/1433.50	c       457       741    779.70    173.78      4.49   1000000         0
1434.43/1435.21	c       497       874    807.26    185.75      4.35   1000000         0
1436.13/1436.93	c       492       649    803.87    165.17      4.87   1000000         0
1437.82/1438.64	c       516       802    789.92    140.40      5.63   1000000         0
1439.52/1440.36	c       523       653    818.17    194.63      4.20   1000000         0
1441.22/1442.07	c       534       724    801.69    194.78      4.12   1000000         0
1442.92/1443.78	c       555       839    790.93    157.60      5.02   1000000         0
1444.62/1445.50	c       554       712    809.54    174.60      4.64   1000000         0
1446.41/1447.25	c       531       829    810.26    142.62      5.68   1000000         0
1448.11/1448.98	c       549       784    818.12    175.52      4.66   1000000         0
1449.91/1450.70	c       516       745    817.02    182.53      4.48   1000000         0
1451.61/1452.41	c       496       768    795.71    193.15      4.12   1000000         0
1453.31/1454.12	c       457       771    783.55    166.31      4.71   1000000         0
1455.00/1455.83	c       574       773    805.67    163.22      4.94   1000000         0
1456.71/1457.53	c       487       844    773.18    175.56      4.40   1000000         0
1458.40/1459.24	c       548       820    799.33    138.01      5.79   1000000         0
1460.11/1460.96	c       501       603    806.06    175.53      4.59   1000000         0
1461.80/1462.68	c       557       743    801.14    169.65      4.72   1000000         0
1463.60/1464.40	c       577       846    817.61    148.20      5.52   1000000         0
1465.30/1466.12	c       546       812    798.05    214.98      3.71   1000000         0
1467.00/1467.83	c       516       647    784.83    183.05      4.29   1000000         0
1468.71/1469.52	c       506       771    776.87    170.73      4.55   1000000         0
1470.41/1471.22	c       536       782    783.65    187.26      4.18   1000000         0
1472.11/1472.94	c       561       737    801.79    152.55      5.26   1000000         0
1473.80/1474.65	c       541       837    789.22    169.45      4.66   1000000         0
1475.51/1476.36	c       532       671    785.82    168.21      4.67   1000000         0
1477.20/1478.07	c       486       737    800.74    160.75      4.98   1000000         0
1478.90/1479.78	c       525       738    791.33    158.89      4.98   1000000         0
1480.70/1481.50	c       565       703    816.81    177.14      4.61   1000000         0
1482.40/1483.23	c       528       830    811.22    148.88      5.45   1000000         0
1484.10/1484.94	c       524       835    790.49    169.57      4.66   1000000         0
1485.80/1486.66	c       513       685    800.89    190.35      4.21   1000000         0
1487.50/1488.36	c       543       701    789.37    176.49      4.47   1000000         0
1489.20/1490.09	c       585       773    828.92    166.36      4.98   1000000         0
1490.99/1491.84	c       512       807    810.25    188.15      4.31   1000000         0
1492.69/1493.54	c       532       802    773.05    151.90      5.09   1000000         0
1494.39/1495.25	c       521       777    788.11    198.52      3.97   1000000         0
1496.09/1496.96	c       570       699    790.58    172.45      4.58   1000000         0
1497.79/1498.67	c       487       679    794.84    132.13      6.02   1000000         0
1499.49/1500.39	c       566       939    825.80    163.02      5.07   1000000         0
1501.29/1502.11	c       552       705    826.55    195.10      4.24   1000000         0
1502.99/1503.82	c       545       669    769.78    158.50      4.86   1000000         0
1504.68/1505.52	c       529       877    776.43    148.89      5.21   1000000         0
1506.38/1507.24	c       507       772    816.51    199.08      4.10   1000000         0
1508.08/1508.94	c       525       730    778.84    142.06      5.48   1000000         0
1509.78/1510.66	c       517       678    805.33    160.94      5.00   1000000         0
1511.48/1512.36	c       511       736    794.22    158.65      5.01   1000000         0
1513.18/1514.08	c       577       662    825.64    140.18      5.89   1000000         0
1514.88/1515.79	c       535       734    800.53    168.44      4.75   1000000         0
1516.68/1517.52	c       521       751    812.58    158.17      5.14   1000000         0
1518.39/1519.23	c       552       872    803.69    160.69      5.00   1000000         0
1520.08/1520.94	c       524       743    783.18    169.06      4.63   1000000         0
1521.78/1522.65	c       507       825    796.86    172.61      4.62   1000000         0
1523.47/1524.37	c       538       762    805.13    157.90      5.10   1000000         0
1525.17/1526.09	c       478       859    810.52    195.74      4.14   1000000         0
1526.97/1527.80	c       491       737    798.23    188.97      4.22   1000000         0
1528.67/1529.52	c       480       754    801.25    180.04      4.45   1000000         0
1530.38/1531.23	c       517       774    786.42    149.02      5.28   1000000         0
1532.07/1532.93	c       529       799    772.62    170.48      4.53   1000000         0
1533.78/1534.64	c       557       703    796.77    138.66      5.75   1000000         0
1535.46/1536.37	c       505       818    793.13    159.00      4.99   1000000         0
1537.26/1538.10	c       504       780    797.86    130.23      6.13   1000000         0
1538.96/1539.83	c       592       832    831.71    160.67      5.18   1000000         0
1540.66/1541.54	c       528       802    793.82    155.76      5.10   1000000         0
1542.36/1543.26	c       484       901    790.25    151.44      5.22   1000000         0
1544.06/1544.98	c       475       715    798.69    198.26      4.03   1000000         0
1545.76/1546.69	c       525       709    794.05    156.18      5.08   1000000         0
1547.47/1548.39	c       466       891    783.14    183.82      4.26   1000000         0
1549.26/1550.11	c       553       584    799.18    190.63      4.19   1000000         0
1550.96/1551.82	c       575       657    799.37    173.46      4.61   1000000         0
1552.66/1553.52	c       533       862    789.22    143.82      5.49   1000000         0
1554.36/1555.25	c       534       623    811.94    180.59      4.50   1000000         0
1556.06/1556.97	c       583       956    815.87    162.27      5.03   1000000         0
1557.76/1558.66	c       537       775    774.28    169.13      4.58   1000000         0
1559.46/1560.37	c       464       613    798.88    161.56      4.94   1000000         0
1561.16/1562.08	c       523       654    783.85    171.25      4.58   1000000         0
1562.96/1563.82	c       551       691    828.67    201.49      4.11   1000000         0
1564.65/1565.53	c       570       757    792.83    191.58      4.14   1000000         0
1566.35/1567.25	c       538       767    805.10    149.35      5.39   1000000         0
1568.05/1568.97	c       528       630    809.12    179.50      4.51   1000000         0
1569.75/1570.69	c       563       732    801.02    174.99      4.58   1000000         0
1571.55/1572.41	c       569       874    822.01    169.02      4.86   1000000         0
1573.26/1574.13	c       553       693    807.07    172.23      4.69   1000000         0
1574.95/1575.85	c       496       803    804.11    188.32      4.27   1000000         0
1576.65/1577.57	c       521       744    800.20    172.50      4.64   1000000         0
1578.45/1579.31	c       565       689    827.87    186.53      4.44   1000000         0
1580.14/1581.03	c       481       947    813.30    201.46      4.04   1000000         0
1581.94/1582.80	c       530       862    815.37    197.98      4.12   1000000         0
1583.64/1584.52	c       505       564    792.77    145.73      5.44   1000000         0
1585.34/1586.22	c       535       856    790.17    173.75      4.55   1000000         0
1587.04/1587.93	c       553       859    780.55    135.88      5.74   1000000         0
1588.74/1589.64	c       568       862    804.57    151.66      5.31   1000000         0
1590.43/1591.35	c       521       652    779.80    180.56      4.32   1000000         0
1592.13/1593.07	c       555       768    816.33    163.31      5.00   1000000         0
1593.83/1594.76	c       493       720    769.70    144.19      5.34   1000000         0
1595.53/1596.47	c       555       695    788.09    172.33      4.57   1000000         0
1597.23/1598.18	c       524       716    789.20    155.13      5.09   1000000         0
1598.93/1599.90	c       557       676    804.84    170.63      4.72   1000000         0
1600.73/1601.60	c       540       809    774.87    182.93      4.24   1000000         0
1602.43/1603.31	c       524       910    774.96    156.14      4.96   1000000         0
1604.14/1605.02	c       509       649    800.13    195.19      4.10   1000000         0
1605.82/1606.72	c       515       698    775.21    145.14      5.34   1000000         0
1607.52/1608.44	c       499       892    812.64    172.11      4.72   1000000         0
1609.23/1610.13	c       507       748    771.52    182.29      4.23   1000000         0
1610.93/1611.86	c       575       939    821.66    160.89      5.11   1000000         0
1612.63/1613.59	c       588       649    815.04    158.71      5.14   1000000         0
1614.43/1615.31	c       554       759    802.81    167.60      4.79   1000000         0
1616.14/1617.03	c       575       700    813.19    194.35      4.18   1000000         0
1617.83/1618.74	c       527       772    781.38    157.21      4.97   1000000         0
1619.54/1620.45	c       512       737    801.46    176.64      4.54   1000000         0
1621.23/1622.16	c       512       687    794.48    166.66      4.77   1000000         0
1622.93/1623.86	c       504       735    769.80    155.60      4.95   1000000         0
1624.73/1625.60	c       570       670    837.77    157.68      5.31   1000000         0
1626.42/1627.37	c       515       748    805.99    195.15      4.13   1000000         0
1628.12/1629.07	c       538       887    794.65    155.39      5.11   1000000         0
1629.82/1630.78	c       541       781    807.35    154.64      5.22   1000000         0
1631.53/1632.50	c       539       586    802.46    175.86      4.56   1000000         0
1633.32/1634.22	c       560       682    798.12    141.18      5.65   1000000         0
1635.02/1635.91	c       530       688    756.81    153.89      4.92   1000000         0
1636.72/1637.61	c       551       625    788.79    145.34      5.43   1000000         0
1638.42/1639.33	c       570       768    792.53    148.27      5.35   1000000         0
1640.12/1641.05	c       571       831    816.12    161.06      5.07   1000000         0
1641.81/1642.75	c       517       609    780.68    175.41      4.45   1000000         0
1643.51/1644.48	c       545       715    810.52    189.90      4.27   1000000         0
1645.31/1646.20	c       550       770    813.05    155.15      5.24   1000000         0
1647.02/1647.92	c       540       626    797.92    166.81      4.78   1000000         0
1648.71/1649.62	c       524       660    770.74    190.91      4.04   1000000         0
1650.41/1651.34	c       561       803    810.83    156.43      5.18   1000000         0
1652.11/1653.06	c       524       717    806.49    167.83      4.81   1000000         0
1653.81/1654.78	c       570       861    812.09    162.75      4.99   1000000         0
1655.51/1656.48	c       469       729    779.46    152.45      5.11   1000000         0
1657.31/1658.20	c       545       645    793.14    143.33      5.53   1000000         0
1659.01/1659.91	c       519       788    804.59    178.44      4.51   1000000         0
1660.70/1661.62	c       533       758    783.75    163.59      4.79   1000000         0
1662.41/1663.32	c       555       763    780.06    148.49      5.25   1000000         0
1664.10/1665.03	c       507       755    803.76    182.11      4.41   1000000         0
1665.80/1666.75	c       568       680    788.09    129.61      6.08   1000000         0
1667.50/1668.47	c       570       704    799.04    144.01      5.55   1000000         0
1669.20/1670.16	c       521       736    769.99    175.88      4.38   1000000         0
1671.00/1671.91	c       516       894    796.74    190.83      4.18   1000000         0
1672.69/1673.64	c       506       773    814.90    172.75      4.72   1000000         0
1674.40/1675.35	c       496       725    781.15    190.87      4.09   1000000         0
1676.09/1677.08	c       543       750    823.54    185.00      4.45   1000000         0
1677.80/1678.78	c       543       655    773.10    142.68      5.42   1000000         0
1679.59/1680.50	c       530       807    809.44    206.90      3.91   1000000         0
1681.29/1682.21	c       539       812    794.18    163.61      4.85   1000000         0
1682.99/1683.90	c       518       772    765.24    161.95      4.73   1000000         0
1684.69/1685.62	c       560       817    798.93    135.27      5.91   1000000         0
1686.38/1687.32	c       548       829    781.13    180.64      4.32   1000000         0
1688.08/1689.02	c       534       865    767.52    136.75      5.61   1000000         0
1689.79/1690.73	c       500       800    791.20    161.99      4.88   1000000         0
1691.48/1692.44	c       565       753    809.42    146.29      5.53   1000000         0
1693.19/1694.15	c       516       829    794.14    174.58      4.55   1000000         0
1694.89/1695.87	c       493       657    796.24    163.31      4.88   1000000         0
1696.59/1697.58	c       554       692    790.77    167.82      4.71   1000000         0
1698.39/1699.30	c       534       686    815.86    182.19      4.48   1000000         0
1700.09/1701.00	c       517       712    782.85    150.92      5.19   1000000         0
1701.79/1702.71	c       490       713    794.35    185.29      4.29   1000000         0
1703.48/1704.42	c       549       846    799.38    170.98      4.68   1000000         0
1705.19/1706.13	c       503       746    780.36    182.53      4.28   1000000         0
1706.88/1707.84	c       560       745    802.83    163.73      4.90   1000000         0
1708.59/1709.55	c       494       671    778.87    180.67      4.31   1000000         0
1710.28/1711.26	c       556       739    800.39    151.03      5.30   1000000         0
1711.98/1712.97	c       536       714    789.95    172.82      4.57   1000000         0
1713.78/1714.70	c       577       794    808.30    149.11      5.42   1000000         0
1715.47/1716.45	c       580       856    821.24    137.68      5.96   1000000         0
1717.17/1718.18	c       512       762    785.00    159.64      4.92   1000000         0
1718.97/1719.90	c       532       843    807.13    154.39      5.23   1000000         0
1720.68/1721.61	c       519       659    784.73    151.85      5.17   1000000         0
1722.36/1723.32	c       534       744    788.99    169.09      4.67   1000000         0
1724.06/1725.04	c       566       668    802.41    188.66      4.25   1000000         0
1725.76/1726.75	c       488       727    788.83    167.05      4.72   1000000         0
1727.47/1728.45	c       551       799    770.44    130.28      5.91   1000000         0
1729.17/1730.16	c       528       690    780.80    127.61      6.12   1000000         0
1730.87/1731.87	c       502       754    801.03    193.74      4.13   1000000         0
1732.57/1733.57	c       511       660    781.98    168.59      4.64   1000000         0
1734.27/1735.29	c       550       877    796.52    164.57      4.84   1000000         0
1735.98/1737.00	c       522       749    794.99    166.36      4.78   1000000         0
1737.67/1738.69	c       502       923    759.21    164.23      4.62   1000000         0
1739.46/1740.40	c       531       822    802.79    177.59      4.52   1000000         0
1741.16/1742.12	c       492       885    795.02    179.47      4.43   1000000         0
1742.86/1743.84	c       552       753    821.36    170.24      4.82   1000000         0
1744.56/1745.56	c       515       670    786.58    160.39      4.90   1000000         0
1746.26/1747.27	c       501       687    799.33    189.01      4.23   1000000         0
1747.96/1748.97	c       556       750    780.11    152.09      5.13   1000000         0
1749.76/1750.70	c       518       783    823.10    166.88      4.93   1000000         0
1751.37/1752.40	c       549       777    791.64    153.76      5.15   1000000         0
1753.16/1754.11	c       524       767    795.90    150.97      5.27   1000000         0
1754.86/1755.82	c       473       681    786.67    168.47      4.67   1000000         0
1756.56/1757.52	c       529       674    780.98    186.04      4.20   1000000         0
1758.26/1759.24	c       572       874    802.27    163.39      4.91   1000000         0
1759.96/1760.96	c       515       633    797.50    168.73      4.73   1000000         0
1761.75/1762.74	c       564       878    807.44    169.38      4.77   1000000         0
1763.45/1764.45	c       513       803    798.67    149.10      5.36   1000000         0
1765.15/1766.15	c       565       744    772.65    145.62      5.31   1000000         0
1766.85/1767.85	c       504       696    779.19    143.76      5.42   1000000         0
1768.55/1769.57	c       521       657    801.63    182.71      4.39   1000000         0
1770.24/1771.28	c       524       820    785.25    158.86      4.94   1000000         0
1771.94/1772.99	c       517       764    796.30    197.05      4.04   1000000         0
1773.64/1774.69	c       532       753    767.03    121.40      6.32   1000000         0
1775.44/1776.40	c       478       894    800.67    168.48      4.75   1000000         0
1777.14/1778.11	c       541       816    792.28    178.50      4.44   1000000         0
1778.85/1779.82	c       485       724    788.39    160.56      4.91   1000000         0
1780.54/1781.54	c       532       680    807.29    154.21      5.24   1000000         0
1782.24/1783.25	c       511       730    790.63    152.78      5.17   1000000         0
1783.93/1784.95	c       543       733    769.17    160.14      4.80   1000000         0
1785.63/1786.66	c       481       719    796.14    149.95      5.31   1000000         0
1787.33/1788.38	c       508       829    813.52    158.82      5.12   1000000         0
1789.03/1790.09	c       535       786    778.22    153.99      5.05   1000000         0
1790.84/1791.80	c       550       812    800.03    166.85      4.79   1000000         0
1792.54/1793.52	c       506       830    816.92    201.19      4.06   1000000         0
1794.25/1795.23	c       497       683    770.31    175.27      4.39   1000000         0
1795.94/1796.94	c       540       678    807.80    169.10      4.78   1000000         0
1797.64/1798.66	c       518       781    806.46    132.65      6.08   1000000         0
1799.34/1800.38	c       548       685    797.22    161.36      4.94   1000000         0
1800.04/1801.01	HOME/run: line 2: 20143 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-2684776-1278433529/watcher-2684776-1278433529 -o /tmp/evaluation-result-2684776-1278433529/solver-2684776-1278433529 -C 1800 -W 2000 -M 1800 run HOME/instance-2684776-1278433529.opb 

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


[startup+0 s]
/proc/loadavg: 0.88 0.97 1.14 3/106 20142
/proc/meminfo: memFree=1836732/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) R 20140 20142 19983 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374582165 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0

[startup+0.108999 s]
/proc/loadavg: 0.88 0.97 1.14 3/106 20142
/proc/meminfo: memFree=1836732/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200998 s]
/proc/loadavg: 0.88 0.97 1.14 3/106 20142
/proc/meminfo: memFree=1836732/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300997 s]
/proc/loadavg: 0.88 0.97 1.14 3/106 20142
/proc/meminfo: memFree=1836732/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700994 s]
/proc/loadavg: 0.88 0.97 1.14 3/106 20142
/proc/meminfo: memFree=1836732/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50099 s]
/proc/loadavg: 0.88 0.97 1.14 2/108 20144
/proc/meminfo: memFree=1829152/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1.49
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1923 0 0 0 148 1 0 0 25 0 1 0 11560986 41422848 1853 1992294400 134512640 135071400 4292576288 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1853 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10098 s]
/proc/loadavg: 0.88 0.97 1.14 2/108 20144
/proc/meminfo: memFree=1828904/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=3.08
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 307 1 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30095 s]
/proc/loadavg: 0.89 0.97 1.14 2/108 20144
/proc/meminfo: memFree=1828904/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=6.28
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 627 1 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7009 s]
/proc/loadavg: 0.90 0.97 1.13 2/108 20144
/proc/meminfo: memFree=1828656/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=12.67
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 1266 1 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49152

[startup+25.5008 s]
/proc/loadavg: 0.92 0.97 1.13 2/108 20144
/proc/meminfo: memFree=1828656/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=25.47
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 2545 2 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49152

[startup+51.1006 s]
/proc/loadavg: 0.95 0.97 1.13 2/108 20146
/proc/meminfo: memFree=1828656/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=51.06
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 5104 2 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134537285 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 49152

[startup+102.3 s]
/proc/loadavg: 0.97 0.97 1.12 2/108 20146
/proc/meminfo: memFree=1828408/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=102.23
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 10220 3 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 1.11 2/108 20148
/proc/meminfo: memFree=1828284/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=162.2
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 16217 3 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 49152

[startup+222.308 s]
/proc/loadavg: 0.99 0.97 1.09 2/108 20150
/proc/meminfo: memFree=1828160/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=222.18
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 22213 5 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 1.09 2/108 20152
/proc/meminfo: memFree=1828160/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=282.14
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 28207 7 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 1.08 2/108 20152
/proc/meminfo: memFree=1828036/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=342.11
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 34204 7 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 0.99 0.97 1.07 2/108 20154
/proc/meminfo: memFree=1827912/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=402.08
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1932 0 0 0 40200 8 0 0 25 0 1 0 11560986 41422848 1862 1992294400 134512640 135071400 4292576288 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1862 69 137 0 9974 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1121.69
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 112150 19 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20176
/proc/meminfo: memFree=1826424/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1181.65
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 118145 20 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20176
/proc/meminfo: memFree=1826176/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1241.63
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 124142 21 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20178
/proc/meminfo: memFree=1825928/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1301.6
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 130138 22 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20180
/proc/meminfo: memFree=1825804/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1361.56
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 136134 22 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.56
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20182
/proc/meminfo: memFree=1825680/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1421.54
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 142130 24 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.54
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20184
/proc/meminfo: memFree=1825556/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1481.5
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 148125 25 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.5
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20184
/proc/meminfo: memFree=1825308/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1541.47
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 154122 25 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.47
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20186
/proc/meminfo: memFree=1825184/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1601.43
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 160117 26 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20188
/proc/meminfo: memFree=1825060/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1661.4
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 166113 27 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20190
/proc/meminfo: memFree=1824936/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1721.37
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 172109 28 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.37
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20192
/proc/meminfo: memFree=1824564/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1781.34
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 178105 29 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20192
/proc/meminfo: memFree=1824564/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1800.04
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 179974 30 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1801 s]
/proc/loadavg: 0.99 0.97 1.00 2/108 20192
/proc/meminfo: memFree=1824564/2059040 swapFree=4192956/4192956
[pid=20142] ppid=20140 vsize=8700 CPUtime=0
/proc/20142/stat : 20142 (run) S 20140 20142 19983 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 11560985 8908800 243 1992294400 4194304 4922060 140736723738880 18446744073709551615 223374580869 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20142/statm: 2175 243 204 178 0 68 0
[pid=20143] ppid=20142 vsize=40452 CPUtime=1800.04
/proc/20143/stat : 20143 (PB-wave) R 20142 20142 19983 0 -1 4202496 1933 0 0 0 179974 30 0 0 25 0 1 0 11560986 41422848 1863 1992294400 134512640 135071400 4292576288 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20143/statm: 10113 1863 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1801.01
CPU time (s): 1800.05
CPU user time (s): 1799.75
CPU system time (s): 0.304953
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 4.11337 second user time and 9.06362 second system time

The end

Launcher Data 

Begin job on node037 at 2010-07-06 18:25:29
IDJOB=2684776
IDBENCH=73560
IDSOLVER=1171
FILE ID=node037/2684776-1278433529
PBS_JOBID= 11233472
Free space on /tmp= 62576 MiB

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

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

MD5SUM BENCH= cab64fb449176610fb00692a41666b1e
RANDOM SEED=1919515018

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1837128 kB
Buffers:         13888 kB
Cached:          78916 kB
SwapCached:          0 kB
Active:          51448 kB
Inactive:       101356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1837128 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3104 kB
Writeback:           0 kB
AnonPages:       59884 kB
Mapped:          14496 kB
Slab:            47256 kB
PageTables:       4176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181676 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264880 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62576 MiB
End job on node037 at 2010-07-06 18:55:30