Trace number 2684944

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.12 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12034_4-sat.opb
MD5SUMddb10885464aa0e7ba02f84057f203d6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.541916
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23232
Total number of constraints76633
Number of constraints which are clauses76253
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints380
Minimum length of a constraint1
Maximum length of a constraint96
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 45
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 571
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.20	c PB-wave - v2
0.00/0.20	c command line = ./PB-wave
0.00/0.20	c seed = 31846867
0.00/0.20	c cutoff = 1000000
0.00/0.20	c tries = 1000000
0.00/0.20	c heuristic = c best, noise 50 / 100
0.00/0.20	#var 23232 #con 76633
0.00/0.20	mode is SAT
0.00/0.20	c tail starts after flip = 69696
0.00/0.20	c numatom = 23232, numclause = 76633, numliterals = 196847
0.00/0.20	c wff read in
0.00/0.20	c 
0.00/0.20	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.20	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.20	c       this      this      this      this      this      this   success   success       until         std
0.00/0.20	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.20	c
2.39/2.40	c       665       850    951.80    150.07      6.34   1000000         0
4.49/4.59	c       644       793    960.53    147.50      6.51   1000000         0
6.68/6.78	c       685      1008    940.86    126.24      7.45   1000000         0
8.88/8.98	c       665      1009    960.68    154.34      6.22   1000000         0
11.08/11.18	c       697       995    977.34    166.21      5.88   1000000         0
13.28/13.37	c       664       822    956.02    165.92      5.76   1000000         0
15.48/15.56	c       688       863    937.87    150.72      6.22   1000000         0
17.68/17.73	c       647       847    908.63    172.74      5.26   1000000         0
19.88/19.91	c       703       871    931.42    138.11      6.74   1000000         0
22.08/22.10	c       643       876    951.00    161.75      5.88   1000000         0
24.19/24.29	c       657       776    957.00    158.57      6.04   1000000         0
26.39/26.48	c       654       974    937.21    140.96      6.65   1000000         0
28.59/28.67	c       675       881    961.46    166.29      5.78   1000000         0
30.79/30.87	c       671       978    953.81    157.80      6.04   1000000         0
32.98/33.06	c       663       933    965.63    164.51      5.87   1000000         0
35.18/35.25	c       638       894    946.35    148.70      6.36   1000000         0
37.38/37.46	c       709       983    979.36    162.08      6.04   1000000         0
39.58/39.65	c       679       758    951.36    176.87      5.38   1000000         0
41.78/41.87	c       697       898    964.30    164.63      5.86   1000000         0
43.98/44.07	c       683       889    958.84    146.44      6.55   1000000         0
46.18/46.27	c       711      1006    979.05    199.36      4.91   1000000         0
48.38/48.46	c       667       891    933.80    149.59      6.24   1000000         0
50.58/50.65	c       645       916    936.34    151.66      6.17   1000000         0
52.78/52.84	c       635      1141    951.26    159.40      5.97   1000000         0
54.98/55.02	c       647       906    924.92    152.90      6.05   1000000         0
57.18/57.21	c       713       941    944.28    132.10      7.15   1000000         0
59.28/59.40	c       652       783    947.14    143.53      6.60   1000000         0
61.58/61.61	c       689       953    972.02    184.21      5.28   1000000         0
63.78/63.81	c       649       982    958.59    166.84      5.75   1000000         0
65.88/66.00	c       668       921    959.67    151.04      6.35   1000000         0
68.08/68.19	c       657      1040    963.34    195.52      4.93   1000000         0
70.28/70.39	c       689       941    956.16    154.81      6.18   1000000         0
72.47/72.57	c       707       866    927.64    151.03      6.14   1000000         0
74.67/74.75	c       669       829    933.75    155.93      5.99   1000000         0
76.87/76.96	c       642       879    980.98    146.09      6.71   1000000         0
79.07/79.16	c       662       912    946.63    148.59      6.37   1000000         0
81.27/81.36	c       702       895    958.94    154.33      6.21   1000000         0
83.47/83.56	c       703       906    946.13    137.13      6.90   1000000         0
85.67/85.74	c       682       938    936.40    148.04      6.33   1000000         0
87.87/87.94	c       691       844    963.46    182.69      5.27   1000000         0
90.07/90.14	c       671       972    959.73    134.59      7.13   1000000         0
92.27/92.33	c       656       894    941.69    161.36      5.84   1000000         0
94.47/94.53	c       684       892    959.36    178.98      5.36   1000000         0
96.67/96.72	c       674       918    954.28    130.84      7.29   1000000         0
98.87/98.90	c       599       937    917.46    148.29      6.19   1000000         0
101.07/101.11	c       720       985    962.66    154.95      6.21   1000000         0
103.27/103.30	c       682       870    954.61    164.76      5.79   1000000         0
105.36/105.50	c       662       821    973.66    180.54      5.39   1000000         0
107.56/107.69	c       663       866    930.11    112.57      8.26   1000000         0
109.76/109.88	c       679       824    937.54    122.60      7.65   1000000         0
111.96/112.05	c       654       832    929.69    140.18      6.63   1000000         0
114.16/114.25	c       616       927    965.69    201.82      4.78   1000000         0
116.36/116.45	c       694       866    958.10    131.33      7.30   1000000         0
118.56/118.66	c       699       985    981.05    184.28      5.32   1000000         0
120.76/120.85	c       640       851    947.24    164.70      5.75   1000000         0
122.96/123.06	c       691       885    981.57    153.38      6.40   1000000         0
125.16/125.25	c       680       902    936.09    182.90      5.12   1000000         0
127.36/127.46	c       730      1019    957.97    134.34      7.13   1000000         0
129.56/129.66	c       680       970    957.21    141.62      6.76   1000000         0
131.75/131.88	c       728       836    994.25    172.67      5.76   1000000         0
133.95/134.08	c       674      1009    950.82    148.03      6.42   1000000         0
136.15/136.26	c       678       845    931.05    151.08      6.16   1000000         0
138.35/138.47	c       647       967    969.81    153.53      6.32   1000000         0
140.55/140.68	c       683       897    974.81    145.11      6.72   1000000         0
142.75/142.89	c       700       973    978.05    166.89      5.86   1000000         0
144.95/145.08	c       678      1126    953.21    178.69      5.33   1000000         0
147.15/147.27	c       694       897    961.00    149.52      6.43   1000000         0
149.35/149.46	c       697       863    947.05    142.45      6.65   1000000         0
151.55/151.66	c       693       826    951.35    148.87      6.39   1000000         0
153.75/153.86	c       644      1108    973.08    161.74      6.02   1000000         0
155.95/156.06	c       648      1002    975.39    164.50      5.93   1000000         0
158.15/158.25	c       631       900    934.42    154.94      6.03   1000000         0
160.35/160.45	c       682       936    965.69    169.55      5.70   1000000         0
162.55/162.64	c       687       858    948.87    161.38      5.88   1000000         0
164.75/164.83	c       679       904    944.15    169.18      5.58   1000000         0
166.95/167.03	c       701       870    970.75    161.77      6.00   1000000         0
169.15/169.23	c       702       897    946.95    150.35      6.30   1000000         0
171.35/171.42	c       702      1002    949.56    127.95      7.42   1000000         0
173.55/173.62	c       680       923    980.70    194.67      5.04   1000000         0
175.75/175.81	c       643       818    951.82    143.86      6.62   1000000         0
177.94/178.00	c       668       887    944.92    132.55      7.13   1000000         0
180.14/180.20	c       669       925    956.42    163.91      5.83   1000000         0
182.34/182.40	c       662       888    958.33    198.57      4.83   1000000         0
184.44/184.58	c       661       990    932.83    154.23      6.05   1000000         0
186.64/186.77	c       725       960    951.95    153.44      6.20   1000000         0
188.84/188.97	c       670       916    957.74    186.40      5.14   1000000         0
191.04/191.15	c       716       926    942.30    126.15      7.47   1000000         0
193.24/193.34	c       591       863    936.89    163.29      5.74   1000000         0
195.44/195.53	c       679       919    960.75    142.21      6.76   1000000         0
197.64/197.71	c       681       750    925.82    128.71      7.19   1000000         0
199.84/199.90	c       660       878    949.46    158.71      5.98   1000000         0
202.04/202.10	c       735       852    957.09    160.96      5.95   1000000         0
204.14/204.27	c       658       873    912.79    144.25      6.33   1000000         0
206.34/206.47	c       715       976    984.70    182.04      5.41   1000000         0
208.54/208.66	c       582       865    938.59    162.44      5.78   1000000         0
210.74/210.87	c       698       892    952.57    156.00      6.11   1000000         0
212.94/213.05	c       714       854    940.63    144.34      6.52   1000000         0
215.15/215.25	c       613       853    968.18    170.66      5.67   1000000         0
217.35/217.45	c       674       917    944.69    146.32      6.46   1000000         0
219.54/219.65	c       689       845    971.20    162.36      5.98   1000000         0
221.74/221.85	c       696      1043    957.96    189.43      5.06   1000000         0
223.94/224.04	c       669       921    956.57    163.36      5.86   1000000         0
226.14/226.26	c       675      1023    980.19    202.22      4.85   1000000         0
228.34/228.44	c       684       880    931.10    146.31      6.36   1000000         0
230.54/230.63	c       663       883    951.49    181.31      5.25   1000000         0
232.74/232.81	c       709       938    935.46    140.00      6.68   1000000         0
234.84/234.99	c       672       901    926.24    139.89      6.62   1000000         0
237.04/237.19	c       679       954    949.02    151.20      6.28   1000000         0
239.24/239.37	c       680       934    935.22    141.33      6.62   1000000         0
241.44/241.56	c       665      1023    962.59    158.61      6.07   1000000         0
243.64/243.74	c       678       948    941.36    159.34      5.91   1000000         0
245.84/245.92	c       682       824    951.14    164.88      5.77   1000000         0
248.04/248.12	c       676      1002    966.80    157.30      6.15   1000000         0
250.24/250.32	c       628       893    954.62    179.66      5.31   1000000         0
252.44/252.52	c       682       946    965.66    174.47      5.53   1000000         0
254.64/254.72	c       666       959    952.68    159.18      5.98   1000000         0
256.84/256.91	c       693       915    963.65    149.78      6.43   1000000         0
259.04/259.10	c       613       927    929.36    155.21      5.99   1000000         0
261.14/261.28	c       617       853    939.75    185.85      5.06   1000000         0
263.33/263.48	c       725      1039    961.86    145.37      6.62   1000000         0
265.53/265.68	c       706       950    977.16    161.64      6.05   1000000         0
267.73/267.86	c       651       933    941.03    130.98      7.18   1000000         0
269.93/270.06	c       672       813    958.16    138.59      6.91   1000000         0
272.13/272.24	c       676       939    944.06    156.98      6.01   1000000         0
274.33/274.45	c       697      1031    972.81    148.48      6.55   1000000         0
276.53/276.65	c       703       862    965.38    147.10      6.56   1000000         0
278.73/278.85	c       668       959    961.57    161.17      5.97   1000000         0
280.93/281.06	c       715       992    963.75    156.28      6.17   1000000         0
283.13/283.24	c       635       886    924.11    138.09      6.69   1000000         0
285.33/285.45	c       660      1026    962.80    148.48      6.48   1000000         0
287.53/287.65	c       701       721    966.46    121.11      7.98   1000000         0
289.73/289.86	c       675      1006    965.01    149.53      6.45   1000000         0
291.93/292.05	c       670       756    940.25    131.86      7.13   1000000         0
294.13/294.25	c       691       954    953.43    148.95      6.40   1000000         0
296.33/296.43	c       633       948    942.28    156.04      6.04   1000000         0
298.53/298.61	c       688       927    963.23    163.51      5.89   1000000         0
300.73/300.81	c       733       997    966.46    158.81      6.09   1000000         0
302.93/303.01	c       674       922    956.69    166.79      5.74   1000000         0
305.13/305.21	c       706       983    979.93    144.89      6.76   1000000         0
307.23/307.39	c       670       877    944.10    131.46      7.18   1000000         0
309.42/309.57	c       665       841    944.21    166.55      5.67   1000000         0
311.62/311.77	c       718       949    965.54    119.68      8.07   1000000         0
313.82/313.96	c       654       807    955.01    168.66      5.66   1000000         0
316.02/316.16	c       671       846    965.36    155.27      6.22   1000000         0
318.22/318.37	c       688      1023    974.38    194.58      5.01   1000000         0
320.42/320.57	c       692       933    948.77    164.57      5.77   1000000         0
322.62/322.76	c       678       938    963.10    125.11      7.70   1000000         0
324.82/324.96	c       690       877    960.43    167.97      5.72   1000000         0
327.02/327.16	c       681      1029    966.71    179.44      5.39   1000000         0
329.22/329.35	c       632      1068    947.42    160.40      5.91   1000000         0
331.42/331.54	c       661      1066    964.81    139.85      6.90   1000000         0
333.62/333.74	c       678       974    946.07    196.52      4.81   1000000         0
335.82/335.95	c       695       883    971.69    132.58      7.33   1000000         0
338.02/338.14	c       657      1014    958.69    169.80      5.65   1000000         0
340.22/340.33	c       672       924    932.81    174.53      5.34   1000000         0
342.42/342.55	c       683       983    985.45    155.67      6.33   1000000         0
344.62/344.77	c       729       990    981.53    155.92      6.30   1000000         0
346.82/346.96	c       675       934    951.83    120.77      7.88   1000000         0
349.01/349.15	c       665       954    943.69    148.11      6.37   1000000         0
351.21/351.34	c       642       889    960.37    164.72      5.83   1000000         0
353.41/353.53	c       673       941    954.17    150.59      6.34   1000000         0
355.61/355.72	c       696       998    950.49    149.71      6.35   1000000         0
357.81/357.92	c       688       974    970.54    169.45      5.73   1000000         0
360.01/360.10	c       625       915    924.55    151.75      6.09   1000000         0
362.11/362.30	c       638       974    961.94    169.74      5.67   1000000         0
364.31/364.47	c       648       842    932.11    166.31      5.60   1000000         0
366.51/366.66	c       730       955    958.84    124.55      7.70   1000000         0
368.71/368.86	c       663       966    963.79    175.39      5.49   1000000         0
370.91/371.07	c       672       875    964.78    144.67      6.67   1000000         0
373.11/373.26	c       708       919    963.29    158.36      6.08   1000000         0
375.31/375.44	c       564       897    933.87    152.99      6.10   1000000         0
377.51/377.63	c       709       821    939.94    160.72      5.85   1000000         0
379.71/379.83	c       690       939    967.31    166.37      5.81   1000000         0
381.91/382.01	c       719       951    947.44    158.63      5.97   1000000         0
384.11/384.21	c       704      1036    957.46    150.36      6.37   1000000         0
386.31/386.40	c       669       796    953.44    148.63      6.42   1000000         0
388.51/388.60	c       718      1031    952.03    171.27      5.56   1000000         0
390.61/390.79	c       663       969    968.12    160.22      6.04   1000000         0
392.81/392.99	c       705       995    952.79    157.21      6.06   1000000         0
395.11/395.20	c       654       898    959.99    174.90      5.49   1000000         0
397.31/397.40	c       700       943    949.06    153.36      6.19   1000000         0
399.50/399.60	c       709       887    965.67    158.71      6.08   1000000         0
401.60/401.78	c       666      1059    933.67    140.93      6.63   1000000         0
403.80/403.99	c       663      1029    989.65    159.66      6.20   1000000         0
406.00/406.18	c       614      1053    951.88    162.45      5.86   1000000         0
408.20/408.36	c       678       855    949.44    159.63      5.95   1000000         0
410.40/410.56	c       622       916    957.72    167.36      5.72   1000000         0
412.60/412.75	c       683       759    949.92    136.71      6.95   1000000         0
414.80/414.95	c       635       798    959.32    150.48      6.37   1000000         0
417.00/417.14	c       687       950    943.05    161.80      5.83   1000000         0
419.20/419.33	c       678       815    962.22    172.64      5.57   1000000         0
421.40/421.52	c       662       795    954.66    151.84      6.29   1000000         0
423.60/423.70	c       701       986    936.73    163.48      5.73   1000000         0
425.70/425.88	c       663       891    960.55    142.28      6.75   1000000         0
427.90/428.07	c       707       820    927.55    125.79      7.37   1000000         0
430.10/430.26	c       652       853    940.55    152.36      6.17   1000000         0
432.30/432.44	c       680       821    928.70    137.84      6.74   1000000         0
434.50/434.64	c       667       861    976.43    153.88      6.35   1000000         0
436.70/436.83	c       648       970    929.44    161.22      5.76   1000000         0
438.90/439.02	c       716       891    950.57    135.16      7.03   1000000         0
441.10/441.22	c       629      1079    961.89    160.41      6.00   1000000         0
443.29/443.42	c       715       877    959.23    172.68      5.55   1000000         0
445.49/445.62	c       701      1037    963.90    171.24      5.63   1000000         0
447.69/447.80	c       681       952    945.97    139.61      6.78   1000000         0
449.89/450.00	c       667       937    960.25    144.62      6.64   1000000         0
452.09/452.22	c       695      1062    988.73    176.50      5.60   1000000         0
454.29/454.41	c       665       952    956.72    162.70      5.88   1000000         0
456.49/456.61	c       694       945    964.38    173.03      5.57   1000000         0
458.60/458.79	c       659      1021    942.02    150.74      6.25   1000000         0
460.80/460.98	c       678       768    924.84    152.38      6.07   1000000         0
463.00/463.17	c       664       918    944.72    169.14      5.59   1000000         0
465.20/465.38	c       710       995    988.44    162.86      6.07   1000000         0
467.40/467.57	c       645       874    940.04    150.13      6.26   1000000         0
469.60/469.76	c       579       791    953.74    186.62      5.11   1000000         0
471.80/471.97	c       679       917    966.76    159.05      6.08   1000000         0
474.00/474.15	c       697       969    952.86    126.58      7.53   1000000         0
476.20/476.34	c       686       895    950.27    169.87      5.59   1000000         0
478.40/478.51	c       668       803    937.65    159.70      5.87   1000000         0
480.49/480.70	c       692       989    938.87    156.78      5.99   1000000         0
482.69/482.88	c       694      1012    939.38    152.78      6.15   1000000         0
484.89/485.07	c       655      1007    956.99    168.41      5.68   1000000         0
487.09/487.27	c       685       994    960.84    167.27      5.74   1000000         0
489.29/489.47	c       644       868    956.33    152.08      6.29   1000000         0
491.49/491.67	c       672       813    949.53    164.09      5.79   1000000         0
493.69/493.86	c       656       929    959.11    189.38      5.06   1000000         0
495.89/496.04	c       603      1049    944.53    174.43      5.41   1000000         0
498.09/498.25	c       692       886    982.83    161.38      6.09   1000000         0
500.29/500.43	c       690       920    932.79    139.82      6.67   1000000         0
502.49/502.63	c       681       903    956.38    176.21      5.43   1000000         0
504.69/504.82	c       714       903    952.19    145.02      6.57   1000000         0
506.89/507.03	c       724       992    976.44    156.18      6.25   1000000         0
509.09/509.23	c       690       873    950.49    161.81      5.87   1000000         0
511.29/511.41	c       663       849    920.44    161.00      5.72   1000000         0
513.49/513.61	c       615      1097    958.35    186.00      5.15   1000000         0
515.69/515.80	c       651       924    939.48    134.91      6.96   1000000         0
517.78/518.00	c       678       825    946.05    132.86      7.12   1000000         0
519.98/520.19	c       665       783    943.66    146.44      6.44   1000000         0
522.18/522.39	c       679       890    953.99    188.86      5.05   1000000         0
524.38/524.58	c       631       966    953.21    146.62      6.50   1000000         0
526.58/526.77	c       638       927    959.23    137.42      6.98   1000000         0
528.78/528.97	c       693      1002    963.35    157.07      6.13   1000000         0
530.98/531.16	c       689       866    935.61    172.50      5.42   1000000         0
533.17/533.35	c       635       911    951.62    141.59      6.72   1000000         0
535.37/535.55	c       671       932    949.62    145.82      6.51   1000000         0
537.57/537.74	c       635       988    944.79    143.50      6.58   1000000         0
539.77/539.94	c       581       833    963.20    160.37      6.01   1000000         0
541.97/542.13	c       683       938    948.19    152.99      6.20   1000000         0
544.17/544.33	c       629       810    950.66    168.91      5.63   1000000         0
546.37/546.53	c       666       844    958.27    153.49      6.24   1000000         0
548.57/548.72	c       704       875    949.82    154.63      6.14   1000000         0
550.77/550.91	c       692       999    940.14    139.26      6.75   1000000         0
552.97/553.10	c       719       857    942.95    154.85      6.09   1000000         0
555.07/555.29	c       677       889    956.34    151.07      6.33   1000000         0
557.37/557.50	c       653       872    963.09    156.17      6.17   1000000         0
559.47/559.69	c       718       906    974.50    159.15      6.12   1000000         0
561.67/561.88	c       678      1007    946.08    147.35      6.42   1000000         0
563.87/564.06	c       602       754    920.84    137.80      6.68   1000000         0
566.07/566.25	c       591       828    948.92    167.50      5.67   1000000         0
568.27/568.45	c       660       961    958.45    165.68      5.78   1000000         0
570.47/570.67	c       661       956    964.16    193.31      4.99   1000000         0
572.67/572.87	c       672       875    937.38    144.55      6.48   1000000         0
574.87/575.07	c       718       992    957.20    167.46      5.72   1000000         0
577.07/577.26	c       650       877    937.57    144.84      6.47   1000000         0
579.26/579.44	c       658       726    941.57    152.61      6.17   1000000         0
581.46/581.63	c       686      1030    940.32    166.05      5.66   1000000         0
583.66/583.83	c       705       960    956.07    169.80      5.63   1000000         0
585.86/586.05	c       692      1084    990.68    179.28      5.53   1000000         0
588.06/588.23	c       634       951    926.25    150.88      6.14   1000000         0
590.26/590.43	c       669       841    972.00    130.37      7.46   1000000         0
592.46/592.62	c       627       862    945.26    133.39      7.09   1000000         0
594.66/594.82	c       682      1000    960.19    165.05      5.82   1000000         0
596.86/597.00	c       656       793    930.29    162.39      5.73   1000000         0
598.96/599.18	c       680       905    928.32    143.90      6.45   1000000         0
601.16/601.39	c       655       998    959.74    154.57      6.21   1000000         0
603.36/603.57	c       653       876    935.63    150.23      6.23   1000000         0
605.56/605.76	c       669       835    941.17    143.39      6.56   1000000         0
607.76/607.96	c       700       858    973.67    172.96      5.63   1000000         0
609.96/610.14	c       696       856    946.45    145.54      6.50   1000000         0
612.16/612.34	c       708       829    961.66    154.14      6.24   1000000         0
614.36/614.54	c       691       949    968.02    155.33      6.23   1000000         0
616.56/616.75	c       671       944    973.34    174.88      5.57   1000000         0
618.76/618.94	c       620       895    960.67    180.15      5.33   1000000         0
620.96/621.13	c       657       870    950.10    161.52      5.88   1000000         0
623.15/623.33	c       706       891    943.89    155.53      6.07   1000000         0
625.35/625.50	c       712       868    944.82    129.23      7.31   1000000         0
627.45/627.69	c       669       907    942.79    163.44      5.77   1000000         0
629.65/629.88	c       598       972    934.87    145.14      6.44   1000000         0
631.85/632.07	c       684       967    955.68    138.80      6.89   1000000         0
634.05/634.27	c       680       864    953.69    146.88      6.49   1000000         0
636.25/636.47	c       658       850    973.25    182.56      5.33   1000000         0
638.45/638.68	c       633       966    975.49    148.65      6.56   1000000         0
640.65/640.88	c       647       900    965.69    154.55      6.25   1000000         0
642.85/643.08	c       723       887    963.45    166.08      5.80   1000000         0
645.05/645.27	c       652       858    939.60    186.49      5.04   1000000         0
647.25/647.45	c       645       840    938.91    161.86      5.80   1000000         0
649.45/649.62	c       576       775    918.49    139.84      6.57   1000000         0
651.65/651.81	c       694       849    946.10    160.98      5.88   1000000         0
653.85/654.00	c       701       837    954.69    164.66      5.80   1000000         0
656.05/656.20	c       675       917    958.35    164.44      5.83   1000000         0
658.25/658.40	c       712       854    989.17    191.72      5.16   1000000         0
660.45/660.61	c       690       751    973.52    145.64      6.68   1000000         0
662.55/662.79	c       662       951    946.20    141.93      6.67   1000000         0
664.74/664.98	c       647       805    938.43    164.31      5.71   1000000         0
666.94/667.17	c       686       914    945.82    150.01      6.31   1000000         0
669.14/669.37	c       697       826    948.86    143.47      6.61   1000000         0
671.34/671.56	c       699       885    942.05    166.76      5.65   1000000         0
673.54/673.75	c       648      1010    951.78    140.41      6.78   1000000         0
675.74/675.95	c       703      1022    972.54    160.97      6.04   1000000         0
677.94/678.14	c       694       895    948.96    150.97      6.29   1000000         0
680.14/680.34	c       704       922    963.92    162.18      5.94   1000000         0
682.34/682.52	c       629       776    933.74    118.99      7.85   1000000         0
684.54/684.72	c       640      1115    953.39    193.83      4.92   1000000         0
686.74/686.90	c       646       996    939.16    146.67      6.40   1000000         0
688.84/689.09	c       684       951    945.65    159.36      5.93   1000000         0
691.04/691.29	c       676       972    952.04    156.70      6.08   1000000         0
693.24/693.48	c       652       954    970.18    158.09      6.14   1000000         0
695.44/695.68	c       650       936    956.21    159.42      6.00   1000000         0
697.64/697.87	c       675       935    975.34    158.32      6.16   1000000         0
699.83/700.07	c       652       956    940.01    172.05      5.46   1000000         0
702.03/702.27	c       700       920    963.66    137.84      6.99   1000000         0
704.23/704.46	c       707       766    946.14    146.91      6.44   1000000         0
706.43/706.66	c       657      1026    944.59    171.69      5.50   1000000         0
708.63/708.87	c       732       951    976.43    159.61      6.12   1000000         0
710.83/711.08	c       662       898    957.17    175.96      5.44   1000000         0
713.03/713.26	c       665       869    933.20    159.98      5.83   1000000         0
715.23/715.44	c       706      1003    937.66    132.03      7.10   1000000         0
717.43/717.62	c       677       814    942.51    194.13      4.86   1000000         0
719.63/719.80	c       631       991    949.18    160.79      5.90   1000000         0
721.83/722.01	c       665      1055    969.52    168.59      5.75   1000000         0
723.93/724.18	c       707       996    950.45    118.83      8.00   1000000         0
726.13/726.37	c       689       933    949.06    139.56      6.80   1000000         0
728.33/728.56	c       644       858    959.20    168.80      5.68   1000000         0
730.53/730.76	c       679       946    947.02    159.58      5.93   1000000         0
732.73/732.95	c       612       798    951.21    164.20      5.79   1000000         0
734.93/735.14	c       672       852    966.24    150.42      6.42   1000000         0
737.13/737.35	c       704      1155    979.03    146.01      6.71   1000000         0
739.33/739.54	c       691       896    939.36    166.20      5.65   1000000         0
741.53/741.73	c       679       933    936.62    130.43      7.18   1000000         0
743.73/743.93	c       709       931    980.57    132.63      7.39   1000000         0
745.93/746.14	c       699      1049    972.19    179.89      5.40   1000000         0
748.13/748.34	c       712       838    970.02    182.23      5.32   1000000         0
750.32/750.52	c       605       920    931.01    137.89      6.75   1000000         0
752.52/752.71	c       663      1003    959.56    186.80      5.14   1000000         0
754.72/754.91	c       716       991    959.86    144.54      6.64   1000000         0
756.92/757.11	c       617       865    961.75    190.98      5.04   1000000         0
759.02/759.29	c       676       931    946.22    140.36      6.74   1000000         0
761.22/761.49	c       682       800    957.47    149.03      6.42   1000000         0
763.52/763.71	c       718      1015    974.04    196.89      4.95   1000000         0
765.72/765.91	c       622       936    935.54    150.09      6.23   1000000         0
767.92/768.11	c       637       888    959.65    152.74      6.28   1000000         0
770.12/770.30	c       704       940    948.44    143.05      6.63   1000000         0
772.22/772.50	c       701       938    949.13    166.86      5.69   1000000         0
774.42/774.69	c       627       856    933.63    162.72      5.74   1000000         0
776.62/776.86	c       631       962    920.17    170.26      5.40   1000000         0
778.82/779.06	c       688       960    948.63    150.76      6.29   1000000         0
781.02/781.26	c       695      1093    967.57    174.80      5.54   1000000         0
783.22/783.45	c       671       939    954.06    181.91      5.24   1000000         0
785.42/785.65	c       678       954    976.52    184.99      5.28   1000000         0
787.62/787.86	c       620       977    944.81    183.73      5.14   1000000         0
789.82/790.05	c       686       938    946.85    141.29      6.70   1000000         0
792.02/792.24	c       675      1013    948.68    145.67      6.51   1000000         0
794.21/794.42	c       643       882    927.60    175.85      5.27   1000000         0
796.41/796.62	c       664       990    961.68    148.56      6.47   1000000         0
798.61/798.82	c       665       924    952.58    199.79      4.77   1000000         0
800.81/801.01	c       684      1009    957.71    164.88      5.81   1000000         0
803.01/803.20	c       652      1009    956.73    145.58      6.57   1000000         0
805.11/805.39	c       663       873    951.14    169.71      5.60   1000000         0
807.31/807.57	c       629       866    937.81    169.32      5.54   1000000         0
809.51/809.77	c       643       853    955.04    152.71      6.25   1000000         0
811.71/811.96	c       704       822    968.74    187.68      5.16   1000000         0
813.91/814.17	c       703       864    963.48    159.31      6.05   1000000         0
816.11/816.34	c       731      1017    950.21    124.16      7.65   1000000         0
818.31/818.52	c       681       985    931.64    151.35      6.16   1000000         0
820.51/820.71	c       699       896    965.67    145.66      6.63   1000000         0
822.71/822.91	c       686       952    954.77    148.60      6.42   1000000         0
824.82/825.10	c       648       791    949.19    152.57      6.22   1000000         0
827.01/827.29	c       678       787    952.44    143.65      6.63   1000000         0
829.21/829.49	c       710       765    958.52    119.59      8.01   1000000         0
831.41/831.67	c       634       853    936.08    160.63      5.83   1000000         0
833.61/833.87	c       692       882    953.05    154.38      6.17   1000000         0
835.81/836.07	c       676       894    953.91    174.30      5.47   1000000         0
838.01/838.26	c       681      1020    967.44    146.17      6.62   1000000         0
840.21/840.45	c       647       926    932.85    150.78      6.19   1000000         0
842.41/842.63	c       620       842    933.11    160.53      5.81   1000000         0
844.61/844.82	c       694       899    943.97    153.68      6.14   1000000         0
846.81/847.01	c       627       925    941.00    149.55      6.29   1000000         0
849.01/849.21	c       683       946    947.09    164.60      5.75   1000000         0
851.21/851.41	c       666      1025    953.82    135.67      7.03   1000000         0
853.31/853.60	c       708       858    957.47    132.36      7.23   1000000         0
855.51/855.79	c       627       863    946.77    164.77      5.75   1000000         0
857.71/857.97	c       696       897    965.89    154.28      6.26   1000000         0
859.91/860.17	c       718       940    975.46    142.69      6.84   1000000         0
862.11/862.39	c       707       790    974.62    175.94      5.54   1000000         0
864.31/864.59	c       686       990    952.65    151.84      6.27   1000000         0
866.51/866.78	c       656       865    941.84    162.68      5.79   1000000         0
868.71/868.98	c       697       993    962.74    188.75      5.10   1000000         0
870.90/871.17	c       704       958    958.79    170.52      5.62   1000000         0
873.11/873.36	c       659       971    938.89    132.79      7.07   1000000         0
875.30/875.56	c       693       743    964.52    149.63      6.45   1000000         0
877.50/877.74	c       687       925    931.84    171.31      5.44   1000000         0
879.70/879.93	c       600       968    959.45    127.14      7.55   1000000         0
881.90/882.11	c       640       792    935.24    131.03      7.14   1000000         0
884.00/884.29	c       673       868    937.82    163.22      5.75   1000000         0
886.20/886.49	c       662       871    955.25    170.49      5.60   1000000         0
888.39/888.67	c       619       873    937.73    188.08      4.99   1000000         0
890.59/890.84	c       627       748    931.27    133.51      6.98   1000000         0
892.79/893.03	c       643       962    938.20    176.27      5.32   1000000         0
894.99/895.23	c       675      1031    963.87    176.90      5.45   1000000         0
897.19/897.43	c       670       954    957.67    145.52      6.58   1000000         0
899.39/899.62	c       681       840    941.74    131.79      7.15   1000000         0
901.59/901.81	c       673       946    946.75    160.18      5.91   1000000         0
903.69/903.99	c       598       947    934.03    162.89      5.73   1000000         0
905.89/906.17	c       648      1003    930.37    177.16      5.25   1000000         0
908.09/908.36	c       666       916    942.71    126.90      7.43   1000000         0
910.29/910.56	c       668       799    939.34    139.93      6.71   1000000         0
912.49/912.75	c       727       859    944.62    154.45      6.12   1000000         0
914.69/914.94	c       590       822    938.03    152.57      6.15   1000000         0
916.89/917.14	c       689       845    964.13    160.92      5.99   1000000         0
919.09/919.34	c       712       888    954.19    143.10      6.67   1000000         0
921.29/921.54	c       670      1109    971.73    153.60      6.33   1000000         0
923.49/923.73	c       665       841    939.86    138.15      6.80   1000000         0
925.69/925.92	c       684      1021    941.37    128.66      7.32   1000000         0
927.89/928.12	c       709       823    954.65    164.47      5.80   1000000         0
930.09/930.32	c       738       859    952.89    123.85      7.69   1000000         0
932.29/932.50	c       680       823    936.68    143.74      6.52   1000000         0
934.48/934.70	c       640       881    954.66    170.12      5.61   1000000         0
936.68/936.90	c       724       900    959.42    143.71      6.68   1000000         0
938.88/939.10	c       684       983    973.61    166.82      5.84   1000000         0
940.98/941.29	c       684       973    950.75    148.90      6.39   1000000         0
943.18/943.49	c       658      1017    943.77    171.47      5.50   1000000         0
945.38/945.66	c       641       937    926.03    143.78      6.44   1000000         0
947.58/947.85	c       706      1072    959.63    155.57      6.17   1000000         0
949.78/950.04	c       661       863    938.47    149.92      6.26   1000000         0
951.98/952.23	c       672       946    948.08    148.40      6.39   1000000         0
954.18/954.41	c       657       868    953.58    160.91      5.93   1000000         0
956.38/956.61	c       681       971    965.56    155.22      6.22   1000000         0
958.58/958.81	c       687      1017    956.25    163.31      5.86   1000000         0
960.78/961.01	c       632       943    952.44    159.57      5.97   1000000         0
962.88/963.18	c       607       869    931.38    167.35      5.57   1000000         0
965.08/965.37	c       689       847    941.99    144.95      6.50   1000000         0
967.28/967.56	c       683       972    931.12    150.08      6.20   1000000         0
969.48/969.75	c       601       896    947.03    140.01      6.76   1000000         0
971.68/971.94	c       717       952    964.81    156.17      6.18   1000000         0
973.88/974.15	c       636       923    982.90    137.20      7.16   1000000         0
976.08/976.35	c       671      1023    947.84    145.86      6.50   1000000         0
978.28/978.55	c       690       930    962.43    174.76      5.51   1000000         0
980.47/980.74	c       686       791    944.16    159.37      5.92   1000000         0
982.67/982.94	c       669       938    957.35    170.87      5.60   1000000         0
984.87/985.13	c       663       996    929.39    162.73      5.71   1000000         0
987.07/987.32	c       676       894    958.89    133.06      7.21   1000000         0
989.27/989.50	c       632       894    922.14    183.58      5.02   1000000         0
991.37/991.69	c       622       931    936.70    136.35      6.87   1000000         0
993.67/993.90	c       663       892    970.15    184.63      5.25   1000000         0
995.77/996.09	c       631       924    920.88    155.36      5.93   1000000         0
997.97/998.28	c       677       997    952.33    158.07      6.02   1000000         0
1000.17/1000.47	c       671       949    946.73    177.22      5.34   1000000         0
1002.37/1002.68	c       689       904    979.15    175.94      5.57   1000000         0
1004.57/1004.87	c       656       967    961.86    175.45      5.48   1000000         0
1006.77/1007.07	c       677      1062    945.07    175.41      5.39   1000000         0
1008.97/1009.26	c       679       920    963.36    157.43      6.12   1000000         0
1011.17/1011.45	c       672       937    944.23    147.25      6.41   1000000         0
1013.37/1013.64	c       662       882    929.15    122.38      7.59   1000000         0
1015.56/1015.84	c       679       843    969.26    175.34      5.53   1000000         0
1017.76/1018.05	c       683      1084    962.48    143.24      6.72   1000000         0
1019.96/1020.24	c       678       938    953.10    165.90      5.74   1000000         0
1022.16/1022.43	c       645       868    932.06    145.48      6.41   1000000         0
1024.36/1024.61	c       709       958    938.17    152.31      6.16   1000000         0
1026.56/1026.81	c       685       890    952.76    152.65      6.24   1000000         0
1028.76/1029.00	c       708       887    953.67    142.54      6.69   1000000         0
1030.86/1031.19	c       669       887    959.19    154.68      6.20   1000000         0
1033.16/1033.40	c       719       947    975.68    132.37      7.37   1000000         0
1035.26/1035.59	c       633       925    940.68    148.04      6.35   1000000         0
1037.46/1037.78	c       639       974    952.32    176.20      5.40   1000000         0
1039.66/1039.98	c       663       939    958.38    167.73      5.71   1000000         0
1041.86/1042.17	c       629       952    945.77    159.18      5.94   1000000         0
1044.06/1044.38	c       705       848    965.90    152.34      6.34   1000000         0
1046.26/1046.60	c       687       873    967.91    165.41      5.85   1000000         0
1048.56/1048.81	c       688       945    962.77    171.56      5.61   1000000         0
1050.66/1050.99	c       631       967    934.47    168.79      5.54   1000000         0
1052.86/1053.19	c       674       876    951.77    146.76      6.48   1000000         0
1055.06/1055.39	c       685       874    968.11    134.79      7.18   1000000         0
1057.26/1057.58	c       668      1055    943.03    140.15      6.73   1000000         0
1059.45/1059.77	c       666       864    945.35    157.78      5.99   1000000         0
1061.65/1061.97	c       680       931    968.70    159.85      6.06   1000000         0
1063.85/1064.15	c       660       772    947.42    157.05      6.03   1000000         0
1066.05/1066.35	c       744       926    977.66    152.17      6.42   1000000         0
1068.25/1068.55	c       670      1011    962.56    156.44      6.15   1000000         0
1070.45/1070.74	c       649       887    947.08    155.28      6.10   1000000         0
1072.65/1072.94	c       626       952    959.04    141.73      6.77   1000000         0
1074.85/1075.15	c       631       971    961.07    198.79      4.83   1000000         0
1077.05/1077.34	c       644       789    946.04    162.53      5.82   1000000         0
1079.25/1079.52	c       617      1094    950.05    160.92      5.90   1000000         0
1081.45/1081.72	c       684      1061    965.72    141.47      6.83   1000000         0
1083.65/1083.92	c       736       784    966.82    107.39      9.00   1000000         0
1085.85/1086.10	c       696       984    952.79    139.18      6.85   1000000         0
1087.95/1088.29	c       663       992    958.44    141.98      6.75   1000000         0
1090.15/1090.49	c       696       806    935.68    139.35      6.71   1000000         0
1092.35/1092.68	c       663       914    942.73    168.78      5.59   1000000         0
1094.55/1094.89	c       684      1071    969.65    173.53      5.59   1000000         0
1096.75/1097.09	c       673       803    971.37    186.52      5.21   1000000         0
1098.95/1099.28	c       668       913    946.87    155.24      6.10   1000000         0
1101.15/1101.49	c       720       949    981.61    138.18      7.10   1000000         0
1103.35/1103.68	c       686       885    953.46    159.64      5.97   1000000         0
1105.54/1105.87	c       711       930    944.34    161.50      5.85   1000000         0
1107.74/1108.06	c       665       885    946.80    147.85      6.40   1000000         0
1109.94/1110.27	c       676      1033    965.02    159.78      6.04   1000000         0
1112.14/1112.46	c       641       946    971.69    150.50      6.46   1000000         0
1114.34/1114.65	c       696       986    954.21    155.93      6.12   1000000         0
1116.54/1116.84	c       541       976    933.63    160.10      5.83   1000000         0
1118.74/1119.04	c       672       950    972.04    163.23      5.96   1000000         0
1120.94/1121.23	c       651       936    943.32    146.77      6.43   1000000         0
1123.14/1123.41	c       552       825    931.04    150.32      6.19   1000000         0
1125.24/1125.59	c       677       929    948.80    130.71      7.26   1000000         0
1127.54/1127.80	c       678       796    961.83    187.11      5.14   1000000         0
1129.64/1129.99	c       682       881    945.30    159.53      5.93   1000000         0
1131.84/1132.17	c       638       936    940.33    159.00      5.91   1000000         0
1134.04/1134.37	c       715       933    961.88    154.00      6.25   1000000         0
1136.24/1136.58	c       687       981    964.45    160.01      6.03   1000000         0
1138.44/1138.78	c       704       843    968.26    153.62      6.30   1000000         0
1140.64/1140.98	c       714      1156    965.83    147.81      6.53   1000000         0
1142.84/1143.17	c       700      1019    963.76    145.34      6.63   1000000         0
1145.04/1145.37	c       646      1040    965.90    153.50      6.29   1000000         0
1147.24/1147.55	c       679       853    938.77    151.14      6.21   1000000         0
1149.44/1149.75	c       686       868    960.12    171.29      5.61   1000000         0
1151.63/1151.95	c       693       880    955.44    157.38      6.07   1000000         0
1153.83/1154.15	c       684       805    952.83    157.37      6.05   1000000         0
1156.03/1156.35	c       655       948    962.86    184.57      5.22   1000000         0
1158.23/1158.55	c       630       842    943.29    180.78      5.22   1000000         0
1160.43/1160.73	c       654       930    944.96    163.58      5.78   1000000         0
1162.63/1162.93	c       703       885    970.47    153.80      6.31   1000000         0
1164.83/1165.13	c       648       812    945.59    170.73      5.54   1000000         0
1167.03/1167.33	c       657       947    956.42    157.44      6.07   1000000         0
1169.23/1169.53	c       655       805    949.07    188.29      5.04   1000000         0
1171.43/1171.72	c       626       815    952.48    172.13      5.53   1000000         0
1173.63/1173.91	c       611      1127    945.44    172.25      5.49   1000000         0
1175.83/1176.10	c       688       938    960.19    165.10      5.82   1000000         0
1177.93/1178.29	c       667       993    938.75    181.99      5.16   1000000         0
1180.13/1180.48	c       703       951    939.25    148.42      6.33   1000000         0
1182.33/1182.66	c       655       900    934.57    152.69      6.12   1000000         0
1184.53/1184.85	c       654       830    948.44    159.05      5.96   1000000         0
1186.73/1187.04	c       719      1114    974.66    172.11      5.66   1000000         0
1188.93/1189.22	c       711       858    952.68    140.29      6.79   1000000         0
1191.13/1191.42	c       682       908    954.43    138.59      6.89   1000000         0
1193.33/1193.61	c       707       947    945.78    148.67      6.36   1000000         0
1195.53/1195.82	c       708      1041    963.33    149.53      6.44   1000000         0
1197.72/1198.02	c       708       910    964.06    162.84      5.92   1000000         0
1199.92/1200.21	c       698       906    955.33    171.10      5.58   1000000         0
1202.03/1202.39	c       662      1016    933.77    151.50      6.16   1000000         0
1204.23/1204.58	c       653       977    940.83    143.58      6.55   1000000         0
1206.43/1206.77	c       669       973    944.80    153.06      6.17   1000000         0
1208.63/1208.96	c       704       910    945.66    147.34      6.42   1000000         0
1210.83/1211.16	c       646      1006    940.18    161.35      5.83   1000000         0
1213.03/1213.34	c       602       866    934.77    167.29      5.59   1000000         0
1215.23/1215.53	c       652       828    934.50    153.51      6.09   1000000         0
1217.43/1217.73	c       692      1012    975.15    166.41      5.86   1000000         0
1219.63/1219.91	c       606       908    921.85    152.26      6.05   1000000         0
1221.72/1222.09	c       674       849    949.59    150.96      6.29   1000000         0
1223.92/1224.27	c       624      1075    921.11    168.92      5.45   1000000         0
1226.12/1226.44	c       638       799    926.07    142.82      6.48   1000000         0
1228.32/1228.63	c       699       940    952.17    159.01      5.99   1000000         0
1230.52/1230.83	c       648       974    952.92    168.72      5.65   1000000         0
1232.72/1233.02	c       627       742    957.27    128.07      7.47   1000000         0
1234.92/1235.21	c       659       922    930.36    152.09      6.12   1000000         0
1237.12/1237.40	c       688       930    958.15    137.18      6.98   1000000         0
1239.21/1239.58	c       672       952    928.24    163.61      5.67   1000000         0
1241.42/1241.77	c       677       712    951.96    167.67      5.68   1000000         0
1243.62/1243.98	c       712       913    984.33    159.58      6.17   1000000         0
1245.82/1246.17	c       689       994    943.72    144.05      6.55   1000000         0
1248.02/1248.35	c       670       930    944.52    145.17      6.51   1000000         0
1250.22/1250.54	c       634       683    942.31    159.40      5.91   1000000         0
1252.42/1252.71	c       639       853    926.30    136.61      6.78   1000000         0
1254.62/1254.91	c       716       994    973.02    165.05      5.90   1000000         0
1256.82/1257.11	c       692      1095    967.78    138.44      6.99   1000000         0
1259.02/1259.30	c       664       999    939.68    158.14      5.94   1000000         0
1261.22/1261.51	c       666       872    978.62    165.06      5.93   1000000         0
1263.32/1263.68	c       659       979    927.22    147.22      6.30   1000000         0
1265.52/1265.88	c       701       996    965.52    190.28      5.07   1000000         0
1267.72/1268.08	c       707      1006    981.06    148.14      6.62   1000000         0
1269.92/1270.27	c       630       853    939.61    137.33      6.84   1000000         0
1272.11/1272.46	c       654       874    939.45    141.16      6.66   1000000         0
1274.31/1274.66	c       692       929    965.11    153.58      6.28   1000000         0
1276.51/1276.87	c       683       878    958.90    158.54      6.05   1000000         0
1278.71/1279.05	c       632       746    925.84    127.15      7.28   1000000         0
1280.91/1281.27	c       664       846    985.38    155.57      6.33   1000000         0
1283.11/1283.46	c       731      1129    969.78    121.81      7.96   1000000         0
1285.31/1285.66	c       680      1213    964.31    164.32      5.87   1000000         0
1287.51/1287.85	c       659       886    943.84    128.89      7.32   1000000         0
1289.71/1290.04	c       671       858    944.51    138.50      6.82   1000000         0
1291.91/1292.23	c       686       696    943.33    132.70      7.11   1000000         0
1294.11/1294.41	c       707       954    949.05    172.24      5.51   1000000         0
1296.31/1296.61	c       680       783    970.10    169.85      5.71   1000000         0
1298.51/1298.81	c       699       921    981.07    170.72      5.75   1000000         0
1300.71/1301.00	c       694       860    944.57    145.80      6.48   1000000         0
1302.91/1303.20	c       678       956    958.26    158.51      6.05   1000000         0
1305.11/1305.41	c       651       724    976.27    157.29      6.21   1000000         0
1307.31/1307.60	c       668       891    956.71    154.85      6.18   1000000         0
1309.41/1309.79	c       640       868    947.59    137.35      6.90   1000000         0
1311.61/1311.99	c       710       966    950.40    140.67      6.76   1000000         0
1313.81/1314.19	c       665       894    943.54    193.21      4.88   1000000         0
1316.00/1316.39	c       694       900    965.15    164.38      5.87   1000000         0
1318.20/1318.58	c       719       920    929.28    127.07      7.31   1000000         0
1320.40/1320.77	c       716       875    950.00    135.50      7.01   1000000         0
1322.60/1322.98	c       706       989    977.75    162.95      6.00   1000000         0
1324.80/1325.16	c       649       825    952.64    156.23      6.10   1000000         0
1327.00/1327.35	c       610       835    944.56    142.16      6.64   1000000         0
1329.20/1329.53	c       637       718    930.28    153.68      6.05   1000000         0
1331.40/1331.73	c       710       948    977.93    163.84      5.97   1000000         0
1333.60/1333.92	c       641       953    943.77    186.48      5.06   1000000         0
1335.80/1336.13	c       706       854    958.39    190.93      5.02   1000000         0
1338.00/1338.31	c       701       872    938.12    169.28      5.54   1000000         0
1340.20/1340.50	c       684       888    952.72    148.12      6.43   1000000         0
1342.30/1342.69	c       632       981    948.30    165.88      5.72   1000000         0
1344.60/1344.91	c       638       973    993.92    194.84      5.10   1000000         0
1346.70/1347.09	c       696       994    949.60    172.98      5.49   1000000         0
1348.90/1349.28	c       666      1029    945.19    141.67      6.67   1000000         0
1351.10/1351.49	c       688       894    965.51    150.58      6.41   1000000         0
1353.30/1353.68	c       662       863    964.03    170.57      5.65   1000000         0
1355.50/1355.87	c       679       855    944.48    136.81      6.90   1000000         0
1357.70/1358.07	c       687       882    968.94    154.88      6.26   1000000         0
1359.90/1360.27	c       640      1001    948.26    145.94      6.50   1000000         0
1362.09/1362.46	c       700       857    954.16    163.58      5.83   1000000         0
1364.29/1364.67	c       650      1030    967.50    137.31      7.05   1000000         0
1366.49/1366.86	c       650      1047    947.31    135.33      7.00   1000000         0
1368.69/1369.05	c       665       795    946.19    155.91      6.07   1000000         0
1370.89/1371.23	c       682       884    941.60    129.34      7.28   1000000         0
1373.09/1373.41	c       669       735    927.36    132.14      7.02   1000000         0
1375.29/1375.60	c       673       793    966.11    132.16      7.31   1000000         0
1377.39/1377.80	c       571       831    957.31    176.99      5.41   1000000         0
1379.69/1380.00	c       698      1014    972.57    155.28      6.26   1000000         0
1381.89/1382.21	c       738       920    991.66    178.64      5.55   1000000         0
1383.99/1384.39	c       684       889    926.04    136.11      6.80   1000000         0
1386.19/1386.58	c       668       910    947.70    154.09      6.15   1000000         0
1388.39/1388.77	c       665       833    940.34    138.60      6.78   1000000         0
1390.59/1390.97	c       712       983    958.31    169.94      5.64   1000000         0
1392.79/1393.16	c       656       809    957.37    170.56      5.61   1000000         0
1394.99/1395.36	c       676       839    958.43    149.31      6.42   1000000         0
1397.19/1397.57	c       680       833    973.69    126.03      7.73   1000000         0
1399.39/1399.76	c       660       912    947.77    165.47      5.73   1000000         0
1401.59/1401.96	c       700       879    964.31    156.05      6.18   1000000         0
1403.79/1404.14	c       681       854    946.43    159.39      5.94   1000000         0
1405.99/1406.34	c       725       751    970.79    121.41      8.00   1000000         0
1408.18/1408.53	c       710       970    959.64    163.46      5.87   1000000         0
1410.38/1410.72	c       661       792    938.84    137.89      6.81   1000000         0
1412.58/1412.90	c       698       960    953.31    159.52      5.98   1000000         0
1414.78/1415.11	c       687       848    961.05    187.17      5.13   1000000         0
1416.98/1417.31	c       715       759    974.36    173.03      5.63   1000000         0
1419.18/1419.52	c       678       936    963.79    202.97      4.75   1000000         0
1421.38/1421.71	c       635      1009    955.47    153.00      6.24   1000000         0
1423.58/1423.90	c       689      1147    939.69    127.92      7.35   1000000         0
1425.68/1426.08	c       669       865    928.00    152.99      6.07   1000000         0
1427.88/1428.25	c       658       893    941.10    151.18      6.23   1000000         0
1430.08/1430.43	c       676      1066    933.46    174.85      5.34   1000000         0
1432.28/1432.61	c       627       974    931.64    185.63      5.02   1000000         0
1434.48/1434.82	c       659       724    960.66    169.44      5.67   1000000         0
1436.68/1437.02	c       707       983    959.14    136.88      7.01   1000000         0
1438.88/1439.20	c       707      1079    937.75    137.95      6.80   1000000         0
1441.08/1441.41	c       668       937    962.61    166.24      5.79   1000000         0
1443.28/1443.60	c       660       988    935.94    167.24      5.60   1000000         0
1445.38/1445.79	c       619       926    963.51    148.12      6.50   1000000         0
1447.58/1447.97	c       687       870    936.25    116.27      8.05   1000000         0
1449.78/1450.18	c       667       914    965.43    148.43      6.50   1000000         0
1451.98/1452.39	c       719       942    973.75    174.22      5.59   1000000         0
1454.17/1454.58	c       667      1028    967.56    162.20      5.97   1000000         0
1456.37/1456.77	c       655       931    941.32    177.78      5.29   1000000         0
1458.57/1458.95	c       615       973    926.51    145.40      6.37   1000000         0
1460.77/1461.14	c       646       784    962.32    171.74      5.60   1000000         0
1462.97/1463.33	c       656       988    941.57    124.44      7.57   1000000         0
1465.17/1465.52	c       703       903    955.73    143.98      6.64   1000000         0
1467.37/1467.70	c       609       720    918.02    150.38      6.10   1000000         0
1469.47/1469.89	c       684       918    964.14    177.91      5.42   1000000         0
1471.67/1472.08	c       662       874    936.00    162.08      5.77   1000000         0
1473.87/1474.28	c       708       876    956.53    164.06      5.83   1000000         0
1476.07/1476.46	c       663      1131    946.60    131.39      7.20   1000000         0
1478.27/1478.65	c       602       971    946.17    168.79      5.61   1000000         0
1480.47/1480.84	c       634       884    944.14    120.15      7.86   1000000         0
1482.67/1483.03	c       674      1040    941.92    159.67      5.90   1000000         0
1484.87/1485.22	c       577      1061    948.88    154.08      6.16   1000000         0
1487.07/1487.44	c       691       902    975.96    179.90      5.43   1000000         0
1489.27/1489.63	c       698       944    965.12    159.55      6.05   1000000         0
1491.47/1491.83	c       687       772    952.37    180.88      5.27   1000000         0
1493.66/1494.01	c       711       840    954.04    141.64      6.74   1000000         0
1495.86/1496.21	c       723       886    952.40    189.15      5.04   1000000         0
1498.06/1498.41	c       651      1007    951.12    166.76      5.70   1000000         0
1500.26/1500.61	c       695       933    950.68    172.63      5.51   1000000         0
1502.46/1502.82	c       697       937    980.48    138.39      7.08   1000000         0
1504.66/1505.01	c       687       917    953.04    159.32      5.98   1000000         0
1506.76/1507.19	c       709       867    939.48    148.31      6.33   1000000         0
1508.96/1509.39	c       695      1004    963.77    172.37      5.59   1000000         0
1511.16/1511.59	c       717       956    981.96    144.13      6.81   1000000         0
1513.36/1513.78	c       705       852    936.02    155.92      6.00   1000000         0
1515.56/1515.98	c       644       764    967.48    152.13      6.36   1000000         0
1517.76/1518.14	c       581       873    912.34    176.03      5.18   1000000         0
1519.96/1520.34	c       669       891    960.53    174.21      5.51   1000000         0
1522.16/1522.52	c       699       884    947.22    141.81      6.68   1000000         0
1524.36/1524.71	c       689       901    951.91    141.56      6.72   1000000         0
1526.56/1526.92	c       666      1073    967.29    143.68      6.73   1000000         0
1528.76/1529.10	c       645       906    952.85    154.27      6.18   1000000         0
1530.96/1531.31	c       711       921    973.63    172.33      5.65   1000000         0
1533.16/1533.50	c       713       892    960.58    148.70      6.46   1000000         0
1535.26/1535.70	c       655       823    951.40    159.23      5.97   1000000         0
1537.46/1537.88	c       619       734    940.20    164.52      5.71   1000000         0
1539.66/1540.08	c       680       953    940.80    161.91      5.81   1000000         0
1541.86/1542.27	c       692      1017    963.82    206.97      4.66   1000000         0
1544.06/1544.45	c       651       941    933.14    161.86      5.77   1000000         0
1546.26/1546.64	c       673       775    972.00    180.61      5.38   1000000         0
1548.46/1548.82	c       661       881    919.29    160.89      5.71   1000000         0
1550.66/1551.01	c       661       965    963.92    152.79      6.31   1000000         0
1552.76/1553.19	c       708       911    939.38    127.40      7.37   1000000         0
1554.96/1555.38	c       646      1064    955.20    183.24      5.21   1000000         0
1557.16/1557.58	c       661       963    974.76    179.54      5.43   1000000         0
1559.36/1559.77	c       623       839    946.03    150.16      6.30   1000000         0
1561.56/1561.97	c       650       973    961.57    184.26      5.22   1000000         0
1563.76/1564.16	c       680       932    930.58    158.66      5.87   1000000         0
1565.96/1566.34	c       678       866    935.46    127.13      7.36   1000000         0
1568.16/1568.54	c       698       893    969.67    160.33      6.05   1000000         0
1570.36/1570.73	c       686       955    927.56    155.87      5.95   1000000         0
1572.55/1572.92	c       663      1015    953.28    183.99      5.18   1000000         0
1574.75/1575.13	c       709      1026    975.07    149.44      6.52   1000000         0
1576.95/1577.31	c       656       953    920.00    132.82      6.93   1000000         0
1579.15/1579.51	c       690       953    946.11    160.58      5.89   1000000         0
1581.35/1581.71	c       686       920    965.91    158.01      6.11   1000000         0
1583.44/1583.89	c       661       976    930.08    160.89      5.78   1000000         0
1585.64/1586.07	c       663       898    937.12    153.60      6.10   1000000         0
1587.84/1588.26	c       679       907    959.55    144.65      6.63   1000000         0
1590.04/1590.46	c       680       744    951.50    157.36      6.05   1000000         0
1592.24/1592.65	c       674      1028    945.27    150.48      6.28   1000000         0
1594.44/1594.85	c       688       899    962.20    135.35      7.11   1000000         0
1596.64/1597.03	c       664       912    932.15    143.98      6.47   1000000         0
1598.84/1599.23	c       672       925    964.50    178.28      5.41   1000000         0
1601.04/1601.44	c       622       905    969.11    166.44      5.82   1000000         0
1603.24/1603.63	c       704       891    934.83    131.69      7.10   1000000         0
1605.44/1605.82	c       719       888    956.48    137.53      6.95   1000000         0
1607.54/1608.00	c       678       929    925.92    123.73      7.48   1000000         0
1609.74/1610.18	c       617       865    947.03    129.00      7.34   1000000         0
1611.94/1612.37	c       663       845    949.45    145.65      6.52   1000000         0
1614.14/1614.58	c       705       760    967.59    183.14      5.28   1000000         0
1616.34/1616.77	c       738       837    948.72    162.94      5.82   1000000         0
1618.53/1618.97	c       655       931    960.96    164.35      5.85   1000000         0
1620.73/1621.16	c       653       975    942.49    165.30      5.70   1000000         0
1622.93/1623.37	c       730       994    945.18    158.62      5.96   1000000         0
1625.13/1625.55	c       638       837    939.82    158.99      5.91   1000000         0
1627.33/1627.75	c       668       897    945.48    165.31      5.72   1000000         0
1629.53/1629.95	c       662       874    926.05    155.25      5.96   1000000         0
1631.73/1632.13	c       707      1112    947.80    176.62      5.37   1000000         0
1633.93/1634.31	c       654       931    928.80    142.91      6.50   1000000         0
1636.03/1636.49	c       676       866    951.14    173.04      5.50   1000000         0
1638.23/1638.68	c       636       764    949.83    159.59      5.95   1000000         0
1640.43/1640.88	c       694       922    956.80    152.48      6.27   1000000         0
1642.63/1643.06	c       670       871    923.31    160.72      5.74   1000000         0
1644.83/1645.26	c       681      1013    970.25    152.49      6.36   1000000         0
1647.03/1647.44	c       647       914    949.44    162.00      5.86   1000000         0
1649.23/1649.64	c       669       930    934.19    146.07      6.40   1000000         0
1651.43/1651.82	c       681       849    946.64    164.26      5.76   1000000         0
1653.63/1654.02	c       670      1024    961.41    163.71      5.87   1000000         0
1655.83/1656.20	c       627       875    940.86    161.77      5.82   1000000         0
1657.92/1658.39	c       702       965    938.71    135.14      6.95   1000000         0
1660.12/1660.58	c       730       808    940.79    152.02      6.19   1000000         0
1662.32/1662.76	c       678       895    934.11    133.03      7.02   1000000         0
1664.52/1664.95	c       702       853    953.76    194.56      4.90   1000000         0
1666.72/1667.15	c       642       929    950.53    162.66      5.84   1000000         0
1668.92/1669.35	c       694       804    946.90    179.15      5.29   1000000         0
1671.12/1671.55	c       710       954    976.98    118.59      8.24   1000000         0
1673.32/1673.76	c       725       851    965.33    155.72      6.20   1000000         0
1675.52/1675.96	c       709       946    984.77    142.41      6.92   1000000         0
1677.72/1678.16	c       682       887    949.21    184.88      5.13   1000000         0
1679.92/1680.35	c       600      1088    938.03    135.31      6.93   1000000         0
1682.12/1682.54	c       663       912    965.22    177.94      5.42   1000000         0
1684.32/1684.73	c       658       734    954.24    163.98      5.82   1000000         0
1686.52/1686.92	c       680       763    950.63    154.91      6.14   1000000         0
1688.72/1689.10	c       640       895    947.48    153.47      6.17   1000000         0
1690.82/1691.29	c       672       873    933.96    141.06      6.62   1000000         0
1693.02/1693.47	c       638      1045    936.87    135.61      6.91   1000000         0
1695.22/1695.66	c       682       819    928.27    152.73      6.08   1000000         0
1697.42/1697.85	c       697       845    951.46    160.05      5.94   1000000         0
1699.62/1700.05	c       692       929    966.66    181.61      5.32   1000000         0
1701.82/1702.24	c       665       806    948.56    165.70      5.72   1000000         0
1704.01/1704.44	c       671       995    955.75    137.78      6.94   1000000         0
1706.21/1706.64	c       626       906    965.82    129.29      7.47   1000000         0
1708.41/1708.84	c       646       877    940.85    145.36      6.47   1000000         0
1710.61/1711.03	c       647       799    936.44    146.68      6.38   1000000         0
1712.81/1713.22	c       717       916    957.67    174.31      5.49   1000000         0
1715.01/1715.42	c       671       973    957.52    154.76      6.19   1000000         0
1717.21/1717.61	c       704       882    951.26    157.87      6.03   1000000         0
1719.41/1719.80	c       691       977    943.76    136.53      6.91   1000000         0
1721.61/1722.00	c       673       837    938.40    143.09      6.56   1000000         0
1723.71/1724.19	c       650       899    948.68    150.73      6.29   1000000         0
1725.91/1726.38	c       638       946    960.34    169.19      5.68   1000000         0
1728.11/1728.58	c       691       986    948.77    171.02      5.55   1000000         0
1730.31/1730.77	c       656       987    948.81    153.96      6.16   1000000         0
1732.51/1732.97	c       701      1006    956.14    176.18      5.43   1000000         0
1734.71/1735.16	c       654      1038    944.77    163.07      5.79   1000000         0
1736.91/1737.36	c       701       890    958.50    116.58      8.22   1000000         0
1739.11/1739.54	c       618       990    934.54    162.74      5.74   1000000         0
1741.31/1741.73	c       702       940    949.27    149.24      6.36   1000000         0
1743.51/1743.92	c       698       933    944.39    149.34      6.32   1000000         0
1745.71/1746.14	c       679       904    970.10    167.41      5.79   1000000         0
1747.91/1748.34	c       704      1074    976.10    152.25      6.41   1000000         0
1750.11/1750.55	c       712       891    985.46    162.70      6.06   1000000         0
1752.30/1752.75	c       713       844    950.98    167.00      5.69   1000000         0
1754.50/1754.94	c       648       851    946.03    159.55      5.93   1000000         0
1756.70/1757.14	c       694       831    957.11    173.44      5.52   1000000         0
1758.90/1759.32	c       678       944    925.61    136.50      6.78   1000000         0
1761.10/1761.52	c       679       961    969.97    154.89      6.26   1000000         0
1763.30/1763.72	c       704       817    944.98    156.82      6.03   1000000         0
1765.50/1765.92	c       622       858    946.01    151.99      6.22   1000000         0
1767.70/1768.12	c       660       957    950.33    168.45      5.64   1000000         0
1769.80/1770.29	c       640       977    933.42    142.11      6.57   1000000         0
1772.00/1772.49	c       635       857    945.39    133.40      7.09   1000000         0
1774.20/1774.69	c       683      1032    966.86    170.37      5.68   1000000         0
1776.40/1776.89	c       713       897    967.78    156.53      6.18   1000000         0
1778.60/1779.09	c       708       891    943.22    136.46      6.91   1000000         0
1780.80/1781.28	c       699       963    943.37    131.93      7.15   1000000         0
1783.00/1783.48	c       705       942    982.01    152.52      6.44   1000000         0
1785.20/1785.69	c       683       852    971.25    137.04      7.09   1000000         0
1787.40/1787.89	c       685      1038    954.40    148.92      6.41   1000000         0
1789.60/1790.09	c       698       755    959.81    154.09      6.23   1000000         0
1791.80/1792.28	c       676       841    951.90    167.16      5.69   1000000         0
1794.00/1794.49	c       716      1082    969.33    146.22      6.63   1000000         0
1796.19/1796.68	c       661       928    938.99    116.81      8.04   1000000         0
1798.39/1798.88	c       686       919    964.11    126.41      7.63   1000000         0
1800.10/1800.51	HOME/run: line 2: 18540 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-2684944-1278437151/watcher-2684944-1278437151 -o /tmp/evaluation-result-2684944-1278437151/solver-2684944-1278437151 -C 1800 -W 2000 -M 1800 run HOME/instance-2684944-1278437151.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 18539
/proc/meminfo: memFree=1461340/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0

[startup+0.0546929 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 18539
/proc/meminfo: memFree=1461340/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100696 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 18539
/proc/meminfo: memFree=1461340/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300709 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 18539
/proc/meminfo: memFree=1461340/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700733 s]
/proc/loadavg: 1.00 1.00 0.96 3/106 18539
/proc/meminfo: memFree=1461340/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50078 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18541
/proc/meminfo: memFree=1453636/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1.49
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1952 0 0 0 149 0 0 0 25 0 1 0 11922664 41422848 1882 1992294400 134512640 135071400 4286767936 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1882 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10188 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18541
/proc/meminfo: memFree=1453388/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=3.09
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1960 0 0 0 309 0 0 0 25 0 1 0 11922664 41422848 1890 1992294400 134512640 135071400 4286767936 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1890 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30109 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18541
/proc/meminfo: memFree=1453264/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=6.29
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1960 0 0 0 629 0 0 0 25 0 1 0 11922664 41422848 1890 1992294400 134512640 135071400 4286767936 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1890 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18541
/proc/meminfo: memFree=1453140/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=12.68
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1960 0 0 0 1268 0 0 0 25 0 1 0 11922664 41422848 1890 1992294400 134512640 135071400 4286767936 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1890 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18541
/proc/meminfo: memFree=1453140/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=25.48
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1960 0 0 0 2548 0 0 0 25 0 1 0 11922664 41422848 1890 1992294400 134512640 135071400 4286767936 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1890 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1009 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18541
/proc/meminfo: memFree=1453140/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=51.07
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1960 0 0 0 5107 0 0 0 25 0 1 0 11922664 41422848 1890 1992294400 134512640 135071400 4286767936 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1890 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18543
/proc/meminfo: memFree=1452892/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=102.27
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 10227 0 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18545
/proc/meminfo: memFree=1452644/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=162.25
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 16225 0 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18547
/proc/meminfo: memFree=1452644/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=222.24
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 22223 1 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18548
/proc/meminfo: memFree=1452644/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=282.23
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 28222 1 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18549
/proc/meminfo: memFree=1452396/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=342.22
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 34221 1 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18551
/proc/meminfo: memFree=1452272/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=402.2
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 40219 1 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=18540] ppid=18539 vsize=40452 CPUtime=1122.04
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 112203 1 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18572
/proc/meminfo: memFree=1450660/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1182.03
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 118202 1 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526832 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18573
/proc/meminfo: memFree=1450536/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1242.02
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 124200 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18575
/proc/meminfo: memFree=1450412/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1302.02
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 130200 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/108 18577
/proc/meminfo: memFree=1450288/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1361.99
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 136197 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.06 1.02 0.97 2/108 18579
/proc/meminfo: memFree=1450164/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1421.99
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 142197 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.08 1.03 0.97 2/108 18580
/proc/meminfo: memFree=1450164/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1481.97
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 148195 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.08 1.03 0.98 2/108 18581
/proc/meminfo: memFree=1450040/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1541.95
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 154193 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.03 1.03 0.98 2/108 18583
/proc/meminfo: memFree=1449916/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1601.94
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 160192 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 0.98 2/108 18585
/proc/meminfo: memFree=1449792/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1661.92
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 166190 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/108 18587
/proc/meminfo: memFree=1449668/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1721.91
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 172189 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526675 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/108 18588
/proc/meminfo: memFree=1449544/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1781.9
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 178188 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.98 2/108 18589
/proc/meminfo: memFree=1449544/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1800.1
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 180008 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.01 0.98 2/108 18589
/proc/meminfo: memFree=1449544/2059040 swapFree=4192956/4192956
[pid=18539] ppid=18537 vsize=8700 CPUtime=0
/proc/18539/stat : 18539 (run) S 18537 18539 17984 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11922664 8908800 243 1992294400 4194304 4922060 140735343332240 18446744073709551615 255179988101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18539/statm: 2175 243 204 178 0 68 0
[pid=18540] ppid=18539 vsize=40452 CPUtime=1800.1
/proc/18540/stat : 18540 (PB-wave) R 18539 18539 17984 0 -1 4202496 1961 0 0 0 180008 2 0 0 25 0 1 0 11922664 41422848 1891 1992294400 134512640 135071400 4286767936 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18540/statm: 10113 1891 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1800.09
CPU system time (s): 0.028995
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.08253 second user time and 8.45072 second system time

The end

Launcher Data 

Begin job on node039 at 2010-07-06 19:25:51
IDJOB=2684944
IDBENCH=74092
IDSOLVER=1171
FILE ID=node039/2684944-1278437151
PBS_JOBID= 11233443
Free space on /tmp= 62528 MiB

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

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

MD5SUM BENCH= ddb10885464aa0e7ba02f84057f203d6
RANDOM SEED=1819123189

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1461860 kB
Buffers:        108552 kB
Cached:         356572 kB
SwapCached:          0 kB
Active:         195452 kB
Inactive:       329988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1461860 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3028 kB
Writeback:           0 kB
AnonPages:       60228 kB
Mapped:          14432 kB
Slab:            49880 kB
PageTables:       4072 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62524 MiB
End job on node039 at 2010-07-06 19:55:52