Trace number 2684860

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12033_3-sat.opb
MD5SUM5c357873a81db98d0c84cf88eebfbda4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26136
Total number of constraints86824
Number of constraints which are clauses86396
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints428
Minimum length of a constraint1
Maximum length of a constraint95
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 582
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.23	c PB-wave - v2
0.00/0.23	c command line = ./PB-wave
0.00/0.23	c seed = 115723186
0.00/0.23	c cutoff = 1000000
0.00/0.23	c tries = 1000000
0.00/0.23	c heuristic = c best, noise 50 / 100
0.00/0.23	#var 26136 #con 86824
0.00/0.23	mode is SAT
0.00/0.23	c tail starts after flip = 78408
0.00/0.23	c numatom = 26136, numclause = 86824, numliterals = 222980
0.00/0.23	c wff read in
0.00/0.23	c 
0.00/0.23	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.23	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.23	c       this      this      this      this      this      this   success   success       until         std
0.00/0.23	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.23	c
2.49/2.56	c       778      1076   1056.48    128.53      8.22   1000000         0
4.79/4.89	c       807       898   1041.25    101.36     10.27   1000000         0
7.18/7.21	c       780       961   1045.41    101.38     10.31   1000000         0
9.48/9.54	c       814       946   1051.31    115.25      9.12   1000000         0
11.78/11.87	c       779       980   1046.48    118.01      8.87   1000000         0
14.08/14.20	c       822       967   1044.48    106.29      9.83   1000000         0
16.49/16.53	c       814       879   1052.94    104.46     10.08   1000000         0
18.78/18.87	c       851      1099   1047.94    105.98      9.89   1000000         0
21.18/21.20	c       804      1089   1033.06    114.95      8.99   1000000         0
23.48/23.53	c       749       946   1041.12    117.53      8.86   1000000         0
25.78/25.86	c       806      1052   1041.74    135.65      7.68   1000000         0
28.08/28.19	c       802      1077   1035.24    111.46      9.29   1000000         0
30.38/30.50	c       797      1011   1034.01    120.81      8.56   1000000         0
32.78/32.82	c       795       912   1041.29    137.80      7.56   1000000         0
35.08/35.16	c       836       901   1045.65     92.14     11.35   1000000         0
37.38/37.49	c       796      1076   1040.00    123.53      8.42   1000000         0
39.77/39.82	c       823       950   1043.55    107.96      9.67   1000000         0
42.07/42.15	c       745      1251   1044.77    114.49      9.13   1000000         0
44.37/44.48	c       817      1053   1054.59     89.51     11.78   1000000         0
46.77/46.82	c       772       986   1050.98    111.86      9.40   1000000         0
49.07/49.14	c       772      1119   1036.56    137.21      7.55   1000000         0
51.37/51.48	c       794      1064   1062.16    123.15      8.62   1000000         0
53.78/53.81	c       812      1098   1037.51    101.18     10.25   1000000         0
56.08/56.14	c       817       997   1045.38    127.15      8.22   1000000         0
58.37/58.47	c       752      1000   1034.72    117.17      8.83   1000000         0
60.77/60.80	c       766      1118   1032.88    123.22      8.38   1000000         0
63.07/63.13	c       796      1188   1053.13    120.51      8.74   1000000         0
65.37/65.45	c       746      1079   1029.00    119.87      8.58   1000000         0
67.67/67.76	c       781       931   1032.65    125.22      8.25   1000000         0
70.07/70.10	c       818       949   1052.69    147.64      7.13   1000000         0
72.36/72.44	c       806      1096   1046.02    114.39      9.14   1000000         0
74.67/74.78	c       803      1095   1072.58    133.73      8.02   1000000         0
77.06/77.10	c       850       978   1042.13     93.27     11.17   1000000         0
79.36/79.43	c       781      1110   1039.07    114.87      9.05   1000000         0
81.66/81.76	c       784       963   1041.17    124.57      8.36   1000000         0
83.96/84.09	c       675       982   1031.95    130.14      7.93   1000000         0
86.36/86.43	c       735      1046   1054.10    134.04      7.86   1000000         0
88.66/88.76	c       815       963   1046.70    111.20      9.41   1000000         0
90.96/91.09	c       800      1107   1032.35    106.72      9.67   1000000         0
93.36/93.42	c       785      1096   1049.25    103.22     10.17   1000000         0
95.66/95.75	c       816       946   1046.21    122.74      8.52   1000000         0
97.96/98.09	c       803      1027   1060.24    133.72      7.93   1000000         0
100.36/100.42	c       795      1170   1059.42    132.50      8.00   1000000         0
102.66/102.74	c       812       926   1040.49    113.31      9.18   1000000         0
104.95/105.08	c       833      1086   1048.07    119.21      8.79   1000000         0
107.35/107.41	c       818      1095   1056.41    119.61      8.83   1000000         0
109.65/109.73	c       796       992   1038.24    107.88      9.62   1000000         0
111.95/112.05	c       795      1024   1027.72    111.10      9.25   1000000         0
114.26/114.39	c       791      1105   1042.44    108.86      9.58   1000000         0
116.65/116.71	c       775      1064   1046.27    112.90      9.27   1000000         0
118.95/119.04	c       823       882   1037.48     91.79     11.30   1000000         0
121.25/121.37	c       804      1172   1045.63    128.90      8.11   1000000         0
123.65/123.70	c       807      1155   1045.67    102.17     10.23   1000000         0
125.95/126.03	c       777      1142   1048.89    130.77      8.02   1000000         0
128.25/128.36	c       789       953   1042.64    128.19      8.13   1000000         0
130.55/130.69	c       792      1034   1041.75    132.57      7.86   1000000         0
132.95/133.00	c       750       906   1014.96    123.69      8.21   1000000         0
135.25/135.33	c       764      1061   1044.28    116.79      8.94   1000000         0
137.55/137.66	c       804       959   1056.40    129.23      8.17   1000000         0
139.84/139.98	c       842      1039   1044.84    113.02      9.25   1000000         0
142.24/142.32	c       832      1002   1061.65    121.76      8.72   1000000         0
144.54/144.64	c       844       974   1061.70    107.33      9.89   1000000         0
146.84/146.98	c       793      1135   1060.08    132.54      8.00   1000000         0
149.24/149.30	c       761      1006   1041.34    129.92      8.01   1000000         0
151.54/151.64	c       779      1050   1061.90    130.93      8.11   1000000         0
153.85/153.98	c       798      1036   1042.85    128.34      8.13   1000000         0
156.24/156.30	c       808       989   1028.71    120.11      8.56   1000000         0
158.54/158.61	c       797       953   1019.40    105.03      9.71   1000000         0
160.84/160.94	c       827      1016   1040.73    118.28      8.80   1000000         0
163.14/163.25	c       820       953   1043.64    106.16      9.83   1000000         0
165.44/165.58	c       783       870   1018.77    106.00      9.61   1000000         0
167.84/167.91	c       811      1138   1039.19    108.07      9.62   1000000         0
170.14/170.24	c       776       998   1050.38    120.72      8.70   1000000         0
172.43/172.56	c       707       917   1032.51    104.35      9.89   1000000         0
174.74/174.87	c       770       973   1026.09    118.91      8.63   1000000         0
177.04/177.19	c       790       995   1020.15    118.84      8.58   1000000         0
179.43/179.54	c       779       926   1061.84    131.34      8.08   1000000         0
181.73/181.85	c       793      1100   1034.84    103.42     10.01   1000000         0
184.03/184.18	c       799       901   1029.29     99.51     10.34   1000000         0
186.43/186.52	c       817      1073   1057.27    138.75      7.62   1000000         0
188.73/188.85	c       807       886   1043.05    114.19      9.13   1000000         0
191.03/191.16	c       750      1056   1014.96    128.81      7.88   1000000         0
193.33/193.48	c       751       969   1026.27    107.51      9.55   1000000         0
195.73/195.82	c       798      1038   1060.30    121.48      8.73   1000000         0
198.02/198.16	c       810      1088   1068.48     94.38     11.32   1000000         0
200.32/200.49	c       844      1013   1051.05    101.94     10.31   1000000         0
202.72/202.83	c       809      1268   1066.99    123.65      8.63   1000000         0
205.02/205.15	c       747       983   1018.25    114.59      8.89   1000000         0
207.32/207.49	c       822      1079   1062.82    117.74      9.03   1000000         0
209.72/209.81	c       768       932   1042.57    118.20      8.82   1000000         0
212.02/212.15	c       807      1071   1033.32    117.08      8.83   1000000         0
214.33/214.47	c       806      1244   1038.38    116.79      8.89   1000000         0
216.63/216.79	c       805      1072   1032.73    110.10      9.38   1000000         0
219.02/219.11	c       782      1042   1036.39    111.37      9.31   1000000         0
221.32/221.44	c       764      1142   1044.30    122.14      8.55   1000000         0
223.62/223.76	c       766       996   1037.92    115.65      8.97   1000000         0
226.02/226.10	c       834      1087   1060.02    120.29      8.81   1000000         0
228.32/228.43	c       799      1054   1049.53    118.29      8.87   1000000         0
230.62/230.75	c       803      1037   1034.00    154.92      6.67   1000000         0
232.91/233.05	c       746      1019   1045.05    121.99      8.57   1000000         0
235.21/235.39	c       775      1005   1043.32    109.89      9.49   1000000         0
237.61/237.71	c       752      1145   1028.88    118.64      8.67   1000000         0
239.91/240.05	c       755      1240   1038.64    121.66      8.54   1000000         0
242.21/242.37	c       838      1075   1055.01    119.41      8.84   1000000         0
244.60/244.72	c       833      1108   1070.03    119.75      8.94   1000000         0
246.90/247.05	c       771       979   1041.92    105.51      9.87   1000000         0
249.20/249.38	c       816       998   1034.02    107.23      9.64   1000000         0
251.50/251.70	c       751      1101   1035.34    104.63      9.90   1000000         0
253.91/254.03	c       794      1150   1046.04    128.58      8.14   1000000         0
256.21/256.37	c       755      1068   1040.97    147.11      7.08   1000000         0
258.60/258.70	c       786      1200   1055.09    127.97      8.24   1000000         0
260.90/261.04	c       836      1078   1040.49    114.04      9.12   1000000         0
263.20/263.36	c       771       929   1025.57    119.74      8.56   1000000         0
265.50/265.69	c       805      1044   1040.47    103.49     10.05   1000000         0
267.90/268.04	c       785       938   1069.46    126.88      8.43   1000000         0
270.20/270.37	c       794      1031   1046.38    107.53      9.73   1000000         0
272.60/272.72	c       775       970   1051.14    123.36      8.52   1000000         0
274.90/275.05	c       789      1207   1029.36    133.79      7.69   1000000         0
277.19/277.36	c       804      1094   1026.79     99.73     10.30   1000000         0
279.49/279.67	c       725       931   1008.25    102.61      9.83   1000000         0
281.89/282.00	c       776      1085   1045.37    116.03      9.01   1000000         0
284.19/284.32	c       799      1059   1039.14    108.65      9.56   1000000         0
286.49/286.64	c       784       907   1011.95    108.06      9.36   1000000         0
288.79/288.97	c       774       931   1034.35    144.74      7.15   1000000         0
291.09/291.29	c       798       992   1016.56    115.23      8.82   1000000         0
293.50/293.61	c       800      1189   1028.14    131.50      7.82   1000000         0
295.80/295.94	c       740      1092   1030.17     99.90     10.31   1000000         0
298.09/298.26	c       837      1068   1042.39    105.56      9.88   1000000         0
300.39/300.59	c       822      1001   1046.75    124.88      8.38   1000000         0
302.79/302.92	c       772      1098   1030.62    140.80      7.32   1000000         0
305.09/305.24	c       790       957   1027.82    101.11     10.16   1000000         0
307.39/307.56	c       773      1000   1050.74    109.01      9.64   1000000         0
309.68/309.89	c       748       974   1055.02    113.13      9.33   1000000         0
312.08/312.23	c       761      1066   1054.32    141.54      7.45   1000000         0
314.39/314.55	c       799      1091   1040.09    114.03      9.12   1000000         0
316.69/316.87	c       759      1017   1043.80    127.55      8.18   1000000         0
319.08/319.21	c       794       977   1047.55    111.84      9.37   1000000         0
321.38/321.54	c       793      1107   1045.90    107.13      9.76   1000000         0
323.68/323.87	c       831       966   1039.13    106.24      9.78   1000000         0
326.08/326.20	c       736      1030   1045.18    136.49      7.66   1000000         0
328.38/328.54	c       823       944   1043.25    111.56      9.35   1000000         0
330.68/330.87	c       814      1043   1045.97    107.67      9.71   1000000         0
332.98/333.19	c       799      1008   1035.81    107.67      9.62   1000000         0
335.38/335.52	c       766      1108   1037.77    127.81      8.12   1000000         0
337.68/337.85	c       773      1069   1047.74    134.71      7.78   1000000         0
339.98/340.18	c       802      1157   1034.87    120.47      8.59   1000000         0
342.37/342.53	c       772      1105   1056.14    124.81      8.46   1000000         0
344.67/344.85	c       749      1034   1038.55    126.59      8.20   1000000         0
346.96/347.17	c       800       971   1028.46    121.28      8.48   1000000         0
349.26/349.49	c       767      1021   1025.72    118.00      8.69   1000000         0
351.65/351.82	c       796      1037   1036.76    124.40      8.33   1000000         0
353.95/354.13	c       793      1070   1049.13    115.46      9.09   1000000         0
356.25/356.45	c       809      1048   1029.63    100.75     10.22   1000000         0
358.55/358.78	c       804      1039   1053.61    122.39      8.61   1000000         0
360.95/361.11	c       776      1117   1052.45    116.07      9.07   1000000         0
363.24/363.43	c       781      1013   1023.75    127.48      8.03   1000000         0
365.54/365.75	c       782      1079   1041.24    121.54      8.57   1000000         0
367.84/368.08	c       780      1174   1036.66    119.88      8.65   1000000         0
370.24/370.41	c       771       987   1040.98    108.98      9.55   1000000         0
372.54/372.74	c       783      1105   1050.30    119.01      8.83   1000000         0
374.85/375.07	c       742       907   1038.29    124.31      8.35   1000000         0
377.24/377.40	c       810      1036   1048.61    132.23      7.93   1000000         0
379.54/379.73	c       786       978   1044.39    115.23      9.06   1000000         0
381.84/382.06	c       747      1261   1049.57    117.86      8.91   1000000         0
384.14/384.37	c       780      1003   1030.72    132.36      7.79   1000000         0
386.54/386.71	c       791       963   1052.79    149.42      7.05   1000000         0
388.84/389.04	c       766      1043   1039.94    112.63      9.23   1000000         0
391.14/391.36	c       769      1104   1032.71    140.67      7.34   1000000         0
393.44/393.69	c       819       999   1054.80    123.13      8.57   1000000         0
395.84/396.03	c       788       919   1044.04    131.17      7.96   1000000         0
398.13/398.37	c       789      1035   1044.80    125.69      8.31   1000000         0
400.44/400.69	c       806       985   1038.97    117.25      8.86   1000000         0
402.84/403.02	c       840      1040   1026.34    110.19      9.31   1000000         0
405.14/405.35	c       794      1057   1049.91    114.86      9.14   1000000         0
407.44/407.68	c       811      1233   1035.61    123.68      8.37   1000000         0
409.74/409.99	c       795       831   1019.76    138.31      7.37   1000000         0
412.14/412.33	c       778      1220   1044.80    117.41      8.90   1000000         0
414.44/414.64	c       816       907   1032.24    117.42      8.79   1000000         0
416.75/416.97	c       811      1038   1040.53    116.59      8.93   1000000         0
419.04/419.29	c       787      1011   1040.01    115.90      8.97   1000000         0
421.44/421.62	c       808      1053   1041.84    106.95      9.74   1000000         0
423.74/423.95	c       821       963   1044.90    120.68      8.66   1000000         0
426.04/426.28	c       760       951   1043.03     99.71     10.46   1000000         0
428.43/428.61	c       785      1051   1039.06    109.46      9.49   1000000         0
430.73/430.93	c       801      1116   1029.13    121.67      8.46   1000000         0
433.03/433.25	c       804      1064   1026.47     98.14     10.46   1000000         0
435.34/435.57	c       745      1049   1004.64    102.71      9.78   1000000         0
437.73/437.91	c       809       872   1058.04    155.40      6.81   1000000         0
440.03/440.23	c       767       985   1033.91    119.99      8.62   1000000         0
442.33/442.55	c       726       949   1035.09    123.79      8.36   1000000         0
444.73/444.90	c       847      1030   1075.03    137.17      7.84   1000000         0
447.03/447.21	c       773      1030   1018.76    104.74      9.73   1000000         0
449.33/449.56	c       808      1012   1063.50    125.72      8.46   1000000         0
451.63/451.89	c       746       923   1046.70    133.82      7.82   1000000         0
454.03/454.22	c       773      1090   1033.84    115.15      8.98   1000000         0
456.33/456.56	c       778      1037   1066.05    124.45      8.57   1000000         0
458.63/458.87	c       776       991   1034.01    115.04      8.99   1000000         0
461.02/461.20	c       827       978   1049.55    144.64      7.26   1000000         0
463.32/463.54	c       826      1075   1047.55    118.89      8.81   1000000         0
465.62/465.87	c       805      1015   1046.63    140.60      7.44   1000000         0
467.92/468.19	c       788      1050   1031.76    125.06      8.25   1000000         0
470.32/470.51	c       794      1092   1038.90     89.02     11.67   1000000         0
472.62/472.84	c       780       970   1036.87    117.89      8.80   1000000         0
474.93/475.16	c       761       947   1021.61    115.83      8.82   1000000         0
477.23/477.49	c       799      1123   1058.18    106.86      9.90   1000000         0
479.62/479.83	c       781      1059   1064.63    130.49      8.16   1000000         0
481.92/482.16	c       792      1060   1052.42    137.79      7.64   1000000         0
484.32/484.50	c       788      1049   1043.23    116.06      8.99   1000000         0
486.62/486.83	c       787      1083   1043.96    106.68      9.79   1000000         0
488.91/489.18	c       817      1054   1060.91    117.59      9.02   1000000         0
491.31/491.52	c       801       992   1060.67    108.44      9.78   1000000         0
493.62/493.84	c       814       958   1037.75    119.49      8.68   1000000         0
495.92/496.18	c       843       997   1067.80    115.66      9.23   1000000         0
498.31/498.51	c       770       999   1034.85    128.28      8.07   1000000         0
500.61/500.82	c       746      1092   1033.35    138.07      7.48   1000000         0
502.91/503.14	c       770      1064   1019.64    101.70     10.03   1000000         0
505.21/505.48	c       843       960   1046.06    112.36      9.31   1000000         0
507.51/507.79	c       712      1079   1006.10     95.60     10.52   1000000         0
509.91/510.10	c       821       989   1030.12    124.98      8.24   1000000         0
512.21/512.43	c       834      1037   1041.13    106.01      9.82   1000000         0
514.51/514.76	c       746       963   1038.96    134.19      7.74   1000000         0
516.81/517.09	c       796       943   1030.00     99.34     10.37   1000000         0
519.21/519.42	c       831      1006   1053.21    116.92      9.01   1000000         0
521.50/521.75	c       815      1072   1054.55    111.98      9.42   1000000         0
523.80/524.08	c       819       987   1045.36    111.00      9.42   1000000         0
526.20/526.41	c       809       934   1061.73    127.93      8.30   1000000         0
528.50/528.73	c       732       948   1034.73    142.32      7.27   1000000         0
530.80/531.06	c       777      1026   1052.74    104.88     10.04   1000000         0
533.10/533.39	c       798       950   1034.16    120.77      8.56   1000000         0
535.51/535.72	c       800       997   1036.58    110.08      9.42   1000000         0
537.80/538.05	c       742       970   1039.84    139.61      7.45   1000000         0
540.10/540.39	c       835       986   1051.45    128.52      8.18   1000000         0
542.50/542.72	c       804      1096   1049.99    113.86      9.22   1000000         0
544.80/545.05	c       817      1029   1054.65    105.35     10.01   1000000         0
547.10/547.37	c       788      1052   1029.89     90.41     11.39   1000000         0
549.49/549.70	c       843       958   1055.51    108.14      9.76   1000000         0
551.79/552.02	c       763      1058   1026.05    118.71      8.64   1000000         0
554.10/554.36	c       815      1002   1045.33    119.19      8.77   1000000         0
556.40/556.68	c       803      1122   1052.32    110.45      9.53   1000000         0
558.79/559.02	c       780       912   1052.18    122.14      8.61   1000000         0
561.09/561.35	c       782      1033   1034.73    103.98      9.95   1000000         0
563.39/563.67	c       790       953   1035.62    122.65      8.44   1000000         0
565.79/566.01	c       828       937   1069.70    129.85      8.24   1000000         0
568.09/568.32	c       778      1031   1044.68    139.61      7.48   1000000         0
570.39/570.64	c       770       952   1002.71    108.60      9.23   1000000         0
572.69/572.99	c       759       931   1061.41    129.18      8.22   1000000         0
575.09/575.32	c       823      1167   1051.27    110.80      9.49   1000000         0
577.39/577.66	c       831      1008   1050.89    118.92      8.84   1000000         0
579.68/579.99	c       742      1011   1052.81    118.02      8.92   1000000         0
582.08/582.32	c       790      1102   1035.73     96.93     10.69   1000000         0
584.38/584.64	c       771       951   1036.36    113.36      9.14   1000000         0
586.68/586.97	c       780      1028   1052.91    122.26      8.61   1000000         0
588.98/589.29	c       779       961   1041.64     98.24     10.60   1000000         0
591.38/591.60	c       803       958   1028.76     95.32     10.79   1000000         0
593.68/593.93	c       783       994   1038.53    111.82      9.29   1000000         0
595.98/596.25	c       793       950   1031.23    110.07      9.37   1000000         0
598.28/598.58	c       786      1024   1053.32    108.55      9.70   1000000         0
600.67/600.90	c       793       940   1034.62    101.73     10.17   1000000         0
602.97/603.22	c       802       962   1044.46    113.25      9.22   1000000         0
605.27/605.57	c       803      1042   1056.48    116.14      9.10   1000000         0
607.57/607.89	c       809      1067   1060.00    121.93      8.69   1000000         0
609.97/610.21	c       796      1038   1037.88    109.45      9.48   1000000         0
612.27/612.53	c       814       968   1050.92    103.86     10.12   1000000         0
614.58/614.85	c       808       929   1035.83    101.54     10.20   1000000         0
616.88/617.19	c       842      1063   1057.16    108.46      9.75   1000000         0
619.27/619.52	c       780      1001   1018.67    128.34      7.94   1000000         0
621.57/621.86	c       807       951   1065.59    110.10      9.68   1000000         0
623.87/624.19	c       764       960   1048.39    133.17      7.87   1000000         0
626.27/626.51	c       811       973   1042.15    109.36      9.53   1000000         0
628.57/628.84	c       806      1080   1042.68    102.86     10.14   1000000         0
630.87/631.17	c       835      1027   1043.89    113.95      9.16   1000000         0
633.27/633.50	c       819      1127   1057.81    114.66      9.23   1000000         0
635.57/635.83	c       820      1078   1034.69    100.16     10.33   1000000         0
637.86/638.16	c       805      1010   1057.87    132.42      7.99   1000000         0
640.16/640.48	c       785      1018   1036.41    127.76      8.11   1000000         0
642.56/642.81	c       823      1118   1050.40    115.56      9.09   1000000         0
644.86/645.14	c       764       938   1049.58    127.56      8.23   1000000         0
647.16/647.46	c       766      1088   1024.23    116.39      8.80   1000000         0
649.46/649.78	c       814      1009   1044.09    108.26      9.64   1000000         0
651.86/652.12	c       815       983   1054.52    125.59      8.40   1000000         0
654.17/654.46	c       802       951   1061.65    119.09      8.91   1000000         0
656.47/656.78	c       775      1063   1037.41    127.31      8.15   1000000         0
658.86/659.11	c       816      1017   1034.19    113.94      9.08   1000000         0
661.16/661.43	c       776       972   1035.23    112.39      9.21   1000000         0
663.46/663.77	c       816      1142   1048.68    108.25      9.69   1000000         0
665.86/666.10	c       794      1065   1062.07    114.18      9.30   1000000         0
668.16/668.42	c       793      1069   1030.67    108.53      9.50   1000000         0
670.45/670.75	c       766       920   1046.95    121.28      8.63   1000000         0
672.75/673.08	c       797       971   1037.40    125.72      8.25   1000000         0
675.16/675.42	c       755      1001   1047.69    139.66      7.50   1000000         0
677.45/677.74	c       748      1092   1035.94    131.03      7.91   1000000         0
679.75/680.07	c       827      1035   1052.70    133.32      7.90   1000000         0
682.05/682.38	c       802      1026   1031.21     93.98     10.97   1000000         0
684.45/684.72	c       796       988   1060.07    156.60      6.77   1000000         0
686.75/687.06	c       829      1058   1064.19    129.61      8.21   1000000         0
689.15/689.40	c       811      1006   1041.80    101.76     10.24   1000000         0
691.45/691.73	c       780      1049   1062.57    119.87      8.86   1000000         0
693.75/694.05	c       765      1068   1033.83     96.65     10.70   1000000         0
696.05/696.39	c       804      1047   1066.02    126.01      8.46   1000000         0
698.44/698.72	c       842      1064   1062.65    100.06     10.62   1000000         0
700.74/701.04	c       792       948   1031.55    129.28      7.98   1000000         0
703.04/703.37	c       823      1050   1038.70     90.03     11.54   1000000         0
705.44/705.71	c       853      1062   1063.69    105.53     10.08   1000000         0
707.74/708.05	c       821       960   1050.25    114.91      9.14   1000000         0
710.04/710.38	c       795      1118   1031.31     94.34     10.93   1000000         0
712.34/712.69	c       794      1099   1054.66    101.65     10.38   1000000         0
714.74/715.02	c       791       936   1037.81    103.78     10.00   1000000         0
717.03/717.35	c       809      1046   1047.96    121.14      8.65   1000000         0
719.33/719.68	c       809      1009   1045.24    127.81      8.18   1000000         0
721.73/722.01	c       811      1048   1055.10    116.23      9.08   1000000         0
724.03/724.35	c       822       996   1048.10    113.65      9.22   1000000         0
726.33/726.67	c       817      1010   1035.63    115.70      8.95   1000000         0
728.63/728.99	c       794       952   1034.20    112.42      9.20   1000000         0
731.03/731.31	c       785       930   1046.56    113.59      9.21   1000000         0
733.34/733.65	c       804       999   1046.73    119.79      8.74   1000000         0
735.64/735.96	c       786      1134   1033.35    129.62      7.97   1000000         0
737.93/738.28	c       775      1067   1024.50    121.27      8.45   1000000         0
740.33/740.60	c       761      1057   1034.85    127.44      8.12   1000000         0
742.63/742.91	c       791      1012   1033.86    103.40     10.00   1000000         0
744.93/745.25	c       763      1038   1051.81    120.34      8.74   1000000         0
747.22/747.59	c       798       992   1047.11    116.08      9.02   1000000         0
749.62/749.90	c       767      1019   1012.27    104.41      9.69   1000000         0
751.92/752.23	c       782      1176   1041.14    118.56      8.78   1000000         0
754.23/754.56	c       810       999   1057.07    124.53      8.49   1000000         0
756.62/756.90	c       824       971   1047.65    129.76      8.07   1000000         0
758.92/759.23	c       818       935   1047.14    101.31     10.34   1000000         0
761.22/761.54	c       746       954   1035.94    101.22     10.23   1000000         0
763.52/763.87	c       815      1012   1027.52    121.25      8.47   1000000         0
765.82/766.19	c       783      1119   1039.74    127.67      8.14   1000000         0
768.22/768.52	c       792       989   1036.95    117.19      8.85   1000000         0
770.52/770.84	c       838      1108   1036.13    116.28      8.91   1000000         0
772.82/773.17	c       754       960   1029.57    111.30      9.25   1000000         0
775.22/775.51	c       851      1095   1063.63    119.78      8.88   1000000         0
777.52/777.83	c       796       960   1036.62    126.13      8.22   1000000         0
779.81/780.17	c       805      1099   1042.54    108.30      9.63   1000000         0
782.11/782.49	c       801      1000   1035.30    114.03      9.08   1000000         0
784.51/784.82	c       796       997   1050.57    121.72      8.63   1000000         0
786.81/787.15	c       797      1060   1046.94    108.83      9.62   1000000         0
789.11/789.49	c       817      1058   1050.51    114.15      9.20   1000000         0
791.51/791.81	c       792       951   1032.02    107.81      9.57   1000000         0
793.82/794.14	c       826      1056   1040.47     90.27     11.53   1000000         0
796.12/796.46	c       762       940   1038.70    145.85      7.12   1000000         0
798.41/798.79	c       747      1094   1039.53    123.04      8.45   1000000         0
800.81/801.12	c       815       981   1051.97    126.11      8.34   1000000         0
803.11/803.46	c       796      1000   1067.38    112.83      9.46   1000000         0
805.51/805.80	c       811      1024   1075.23    115.76      9.29   1000000         0
807.81/808.11	c       772       986   1014.02     90.52     11.20   1000000         0
810.10/810.44	c       780       988   1049.26    116.13      9.04   1000000         0
812.40/812.77	c       854       951   1052.60    114.76      9.17   1000000         0
814.71/815.09	c       785       882   1035.92    127.51      8.12   1000000         0
817.10/817.44	c       817      1070   1077.33    117.19      9.19   1000000         0
819.40/819.76	c       771       964   1050.70    102.62     10.24   1000000         0
821.70/822.09	c       838      1025   1041.10     98.38     10.58   1000000         0
824.10/824.41	c       807       940   1029.04    126.66      8.12   1000000         0
826.40/826.74	c       817      1098   1052.39    123.33      8.53   1000000         0
828.70/829.07	c       806      1027   1036.21    110.41      9.38   1000000         0
831.00/831.38	c       779      1065   1014.24    115.65      8.77   1000000         0
833.40/833.71	c       801       983   1045.06    112.33      9.30   1000000         0
835.70/836.04	c       839      1022   1054.50     99.61     10.59   1000000         0
838.00/838.37	c       803      1046   1033.51    101.98     10.13   1000000         0
840.29/840.69	c       766       944   1033.32     97.70     10.58   1000000         0
842.69/843.01	c       797      1077   1045.05    120.43      8.68   1000000         0
844.99/845.33	c       784      1052   1045.28    140.90      7.42   1000000         0
847.29/847.66	c       815       928   1048.61    115.24      9.10   1000000         0
849.59/849.98	c       783       996   1030.95    115.97      8.89   1000000         0
851.89/852.29	c       775      1009   1018.92    105.26      9.68   1000000         0
854.30/854.62	c       791      1055   1037.41    104.69      9.91   1000000         0
856.60/856.96	c       805       991   1061.99    129.34      8.21   1000000         0
858.89/859.26	c       803       969   1029.25    111.38      9.24   1000000         0
861.19/861.59	c       800      1007   1041.70    100.92     10.32   1000000         0
863.59/863.92	c       791       998   1040.24    108.37      9.60   1000000         0
865.89/866.25	c       839      1070   1036.01    109.56      9.46   1000000         0
868.19/868.57	c       805      1113   1033.77    113.14      9.14   1000000         0
870.49/870.87	c       797      1109   1003.43    113.39      8.85   1000000         0
872.89/873.23	c       819       949   1041.53    103.76     10.04   1000000         0
875.19/875.56	c       792      1110   1046.70    115.51      9.06   1000000         0
877.58/877.90	c       768       973   1050.49    110.82      9.48   1000000         0
879.88/880.24	c       782      1072   1045.02    131.68      7.94   1000000         0
882.18/882.55	c       790      1132   1031.62    102.19     10.09   1000000         0
884.48/884.89	c       832      1052   1053.90    118.18      8.92   1000000         0
886.88/887.21	c       832      1033   1042.26    112.45      9.27   1000000         0
889.18/889.55	c       796      1083   1042.27    134.73      7.74   1000000         0
891.48/891.87	c       834       977   1037.15    104.65      9.91   1000000         0
893.78/894.19	c       797       907   1043.91    112.92      9.24   1000000         0
896.18/896.54	c       836       986   1065.19    105.85     10.06   1000000         0
898.48/898.87	c       754       899   1040.55    117.00      8.89   1000000         0
900.78/901.19	c       815      1058   1026.67    108.79      9.44   1000000         0
903.17/903.52	c       773      1010   1037.23    135.00      7.68   1000000         0
905.47/905.87	c       808      1006   1071.25    126.06      8.50   1000000         0
907.77/908.19	c       809      1050   1037.04    105.29      9.85   1000000         0
910.17/910.53	c       769       856   1051.23    125.78      8.36   1000000         0
912.47/912.86	c       769      1060   1033.17    120.68      8.56   1000000         0
914.78/915.18	c       784       932   1032.24     97.37     10.60   1000000         0
917.17/917.50	c       822      1036   1037.81    101.97     10.18   1000000         0
919.47/919.83	c       727       931   1041.87    125.96      8.27   1000000         0
921.77/922.13	c       782      1052   1026.55    108.11      9.50   1000000         0
924.07/924.46	c       764      1155   1029.11    107.00      9.62   1000000         0
926.37/926.77	c       764      1088   1024.71    108.53      9.44   1000000         0
928.77/929.12	c       817      1005   1066.84    139.13      7.67   1000000         0
931.07/931.45	c       806      1002   1039.64    114.41      9.09   1000000         0
933.37/933.79	c       778       890   1033.33    142.15      7.27   1000000         0
935.77/936.10	c       759       922   1036.32    102.72     10.09   1000000         0
938.06/938.42	c       783      1038   1033.57    109.74      9.42   1000000         0
940.36/940.76	c       816      1076   1047.88    124.27      8.43   1000000         0
942.66/943.09	c       780      1032   1058.65    108.38      9.77   1000000         0
945.06/945.42	c       838      1133   1051.93    111.94      9.40   1000000         0
947.36/947.75	c       830      1002   1061.89    114.69      9.26   1000000         0
949.66/950.09	c       811      1091   1071.67    130.75      8.20   1000000         0
952.06/952.42	c       713       977   1039.35    128.24      8.11   1000000         0
954.36/954.76	c       796       967   1044.36    113.45      9.21   1000000         0
956.66/957.09	c       788      1003   1026.51    102.66     10.00   1000000         0
959.06/959.42	c       782      1103   1046.97    107.06      9.78   1000000         0
961.35/961.74	c       764      1198   1025.03     98.73     10.38   1000000         0
963.65/964.07	c       785       976   1034.42    119.74      8.64   1000000         0
966.05/966.40	c       836      1038   1038.20    108.32      9.58   1000000         0
968.35/968.72	c       788      1022   1033.92    135.73      7.62   1000000         0
970.65/971.05	c       782      1091   1029.65    116.74      8.82   1000000         0
972.95/973.37	c       817      1005   1027.88    111.70      9.20   1000000         0
975.26/975.69	c       823       973   1040.37    103.11     10.09   1000000         0
977.65/978.03	c       812       894   1052.99    124.77      8.44   1000000         0
979.95/980.37	c       814      1167   1056.90    134.23      7.87   1000000         0
982.25/982.69	c       761      1043   1030.61    122.60      8.41   1000000         0
984.65/985.02	c       841      1147   1057.81     98.39     10.75   1000000         0
986.95/987.36	c       773      1081   1056.73    124.97      8.46   1000000         0
989.25/989.69	c       790      1179   1032.27    107.89      9.57   1000000         0
991.65/992.02	c       778      1152   1038.96    125.49      8.28   1000000         0
993.95/994.35	c       804      1084   1028.13    137.53      7.48   1000000         0
996.25/996.67	c       770      1039   1030.20    111.73      9.22   1000000         0
998.64/999.00	c       827       991   1044.24    116.08      9.00   1000000         0
1000.94/1001.32	c       790       962   1036.45    115.32      8.99   1000000         0
1003.24/1003.64	c       782       991   1025.13    110.90      9.24   1000000         0
1005.54/1005.98	c       850      1084   1059.95    116.23      9.12   1000000         0
1007.94/1008.30	c       801       955   1034.67    115.37      8.97   1000000         0
1010.24/1010.61	c       812      1093   1027.46    108.61      9.46   1000000         0
1012.54/1012.94	c       783      1033   1034.36    111.90      9.24   1000000         0
1014.84/1015.26	c       827      1089   1045.05     93.34     11.20   1000000         0
1017.14/1017.58	c       783      1062   1038.28    128.01      8.11   1000000         0
1019.53/1019.93	c       853       954   1081.04    124.76      8.67   1000000         0
1021.83/1022.26	c       768      1028   1028.21    108.72      9.46   1000000         0
1024.13/1024.59	c       777      1090   1042.01    102.39     10.18   1000000         0
1026.53/1026.93	c       818      1087   1057.40    116.65      9.06   1000000         0
1028.83/1029.26	c       753      1048   1044.91    142.58      7.33   1000000         0
1031.23/1031.60	c       778       957   1055.74    122.70      8.60   1000000         0
1033.54/1033.92	c       793       965   1030.48    109.58      9.40   1000000         0
1035.84/1036.26	c       804       937   1037.84    123.49      8.40   1000000         0
1038.13/1038.59	c       833       982   1049.34    120.97      8.67   1000000         0
1040.53/1040.91	c       747       872   1024.92    120.65      8.49   1000000         0
1042.83/1043.24	c       787      1041   1034.71    108.14      9.57   1000000         0
1045.13/1045.57	c       791       888   1042.87    126.18      8.26   1000000         0
1047.43/1047.88	c       770      1050   1026.75    116.81      8.79   1000000         0
1049.83/1050.21	c       838       976   1041.32    109.34      9.52   1000000         0
1052.13/1052.54	c       781       944   1046.83    122.79      8.53   1000000         0
1054.43/1054.86	c       813      1025   1042.81    107.07      9.74   1000000         0
1056.73/1057.17	c       785      1030   1005.09    102.61      9.80   1000000         0
1059.12/1059.51	c       808      1150   1059.30    132.67      7.98   1000000         0
1061.42/1061.83	c       738      1086   1034.00    131.19      7.88   1000000         0
1063.72/1064.17	c       825      1124   1053.17     99.72     10.56   1000000         0
1066.12/1066.50	c       790       913   1034.54    106.42      9.72   1000000         0
1068.42/1068.82	c       790      1140   1037.72    116.05      8.94   1000000         0
1070.72/1071.15	c       803      1021   1042.93    132.70      7.86   1000000         0
1073.12/1073.50	c       832       906   1063.08    122.25      8.70   1000000         0
1075.42/1075.83	c       778       960   1032.83    114.95      8.99   1000000         0
1077.72/1078.16	c       789      1053   1058.18    111.14      9.52   1000000         0
1080.02/1080.49	c       793      1041   1048.64    124.82      8.40   1000000         0
1082.42/1082.83	c       804      1104   1055.26    116.50      9.06   1000000         0
1084.72/1085.16	c       777      1031   1050.67    112.81      9.31   1000000         0
1087.01/1087.49	c       733      1126   1035.74    131.05      7.90   1000000         0
1089.41/1089.82	c       828       902   1050.19    126.52      8.30   1000000         0
1091.71/1092.14	c       805       850   1039.44    114.61      9.07   1000000         0
1094.02/1094.47	c       753      1042   1042.00    110.10      9.46   1000000         0
1096.41/1096.80	c       791      1057   1060.19    115.54      9.18   1000000         0
1098.71/1099.12	c       770      1007   1043.09    107.94      9.66   1000000         0
1101.01/1101.45	c       768       974   1045.54    113.11      9.24   1000000         0
1103.31/1103.78	c       797      1098   1056.24    112.73      9.37   1000000         0
1105.71/1106.12	c       829       985   1052.18    118.95      8.85   1000000         0
1108.01/1108.44	c       766      1033   1024.25    123.93      8.26   1000000         0
1110.31/1110.76	c       730       964   1030.29    124.49      8.28   1000000         0
1112.61/1113.10	c       832      1012   1053.29    137.05      7.69   1000000         0
1115.01/1115.41	c       789      1005   1020.75     99.08     10.30   1000000         0
1117.30/1117.72	c       789      1016   1016.33    107.26      9.48   1000000         0
1119.60/1120.05	c       715      1119   1027.31    158.18      6.49   1000000         0
1121.90/1122.38	c       793       862   1041.23    123.88      8.41   1000000         0
1124.20/1124.69	c       756      1068   1032.62    101.18     10.21   1000000         0
1126.60/1127.01	c       796       987   1046.83    101.46     10.32   1000000         0
1128.90/1129.33	c       804       903   1059.17    117.18      9.04   1000000         0
1131.20/1131.66	c       817      1067   1036.55     92.94     11.15   1000000         0
1133.61/1134.00	c       773      1071   1056.55    121.42      8.70   1000000         0
1135.91/1136.32	c       752       985   1029.60    119.98      8.58   1000000         0
1138.20/1138.65	c       762      1094   1039.68    114.42      9.09   1000000         0
1140.50/1140.99	c       824       995   1072.82    132.77      8.08   1000000         0
1142.90/1143.32	c       770      1029   1040.55     91.54     11.37   1000000         0
1145.20/1145.65	c       834       933   1054.53    107.76      9.79   1000000         0
1147.50/1147.97	c       779      1027   1038.29    121.51      8.54   1000000         0
1149.90/1150.32	c       803      1102   1057.31    117.33      9.01   1000000         0
1152.19/1152.64	c       820      1031   1035.58     99.07     10.45   1000000         0
1154.50/1154.97	c       802      1120   1054.40    113.11      9.32   1000000         0
1156.80/1157.28	c       807      1157   1030.63    104.26      9.89   1000000         0
1159.19/1159.60	c       814      1116   1029.00     98.60     10.44   1000000         0
1161.49/1161.93	c       797      1093   1052.38    114.49      9.19   1000000         0
1163.79/1164.26	c       810       948   1037.34    125.55      8.26   1000000         0
1166.19/1166.60	c       783       974   1055.53    132.65      7.96   1000000         0
1168.49/1168.93	c       805      1044   1051.31    131.67      7.98   1000000         0
1170.79/1171.25	c       758      1141   1014.27    116.16      8.73   1000000         0
1173.09/1173.58	c       804       996   1047.69    116.67      8.98   1000000         0
1175.49/1175.91	c       787      1041   1038.86    119.25      8.71   1000000         0
1177.79/1178.24	c       798       975   1034.37    104.18      9.93   1000000         0
1180.09/1180.56	c       773       948   1032.23    104.46      9.88   1000000         0
1182.48/1182.90	c       810      1060   1055.51    139.03      7.59   1000000         0
1184.78/1185.22	c       751       933   1021.40    133.51      7.65   1000000         0
1187.08/1187.55	c       773      1030   1036.72    126.46      8.20   1000000         0
1189.38/1189.88	c       760       909   1021.26    101.99     10.01   1000000         0
1191.78/1192.23	c       808      1011   1058.71    131.93      8.02   1000000         0
1194.09/1194.56	c       773       918   1032.38    126.75      8.15   1000000         0
1196.48/1196.90	c       774       984   1057.10    124.74      8.47   1000000         0
1198.78/1199.22	c       793      1010   1031.57    116.62      8.85   1000000         0
1201.08/1201.56	c       795      1015   1063.95    117.99      9.02   1000000         0
1203.38/1203.89	c       785      1046   1046.76    150.03      6.98   1000000         0
1205.78/1206.21	c       803      1015   1039.04    115.33      9.01   1000000         0
1208.08/1208.55	c       830      1101   1068.35    138.40      7.72   1000000         0
1210.38/1210.88	c       802       915   1059.34    125.14      8.47   1000000         0
1212.78/1213.20	c       796      1003   1021.90    114.53      8.92   1000000         0
1215.08/1215.52	c       765       987   1030.61    109.37      9.42   1000000         0
1217.37/1217.85	c       772       992   1032.99    138.77      7.44   1000000         0
1219.67/1220.18	c       742      1016   1064.35    146.20      7.28   1000000         0
1222.07/1222.51	c       750       993   1025.96    145.61      7.05   1000000         0
1224.37/1224.84	c       770      1013   1052.88    146.18      7.20   1000000         0
1226.67/1227.17	c       819      1035   1046.08    106.29      9.84   1000000         0
1228.97/1229.49	c       797      1041   1031.08    126.68      8.14   1000000         0
1231.37/1231.82	c       791       992   1048.13    117.54      8.92   1000000         0
1233.67/1234.16	c       819       955   1051.47    118.92      8.84   1000000         0
1235.97/1236.50	c       825      1004   1041.49    118.28      8.81   1000000         0
1238.37/1238.83	c       812      1111   1040.36    123.33      8.44   1000000         0
1240.67/1241.15	c       780      1119   1035.63    121.60      8.52   1000000         0
1242.97/1243.47	c       813      1098   1053.93    115.67      9.11   1000000         0
1245.36/1245.80	c       790       950   1049.32    120.98      8.67   1000000         0
1247.66/1248.15	c       804      1148   1055.77    102.14     10.34   1000000         0
1249.96/1250.49	c       791       974   1052.83    136.40      7.72   1000000         0
1252.37/1252.83	c       805      1000   1057.30    115.99      9.12   1000000         0
1254.67/1255.17	c       763      1022   1052.38    140.95      7.47   1000000         0
1257.06/1257.50	c       761      1079   1048.29    124.22      8.44   1000000         0
1259.36/1259.83	c       800      1105   1035.98    129.23      8.02   1000000         0
1261.66/1262.16	c       777       948   1036.96    109.80      9.44   1000000         0
1263.96/1264.50	c       808       972   1059.95    116.29      9.11   1000000         0
1266.36/1266.82	c       792      1071   1024.58     99.06     10.34   1000000         0
1268.66/1269.15	c       807       920   1054.24     93.86     11.23   1000000         0
1270.96/1271.48	c       797       971   1049.17    126.47      8.30   1000000         0
1273.36/1273.82	c       792      1112   1050.12    140.03      7.50   1000000         0
1275.65/1276.14	c       799       910   1016.64    111.76      9.10   1000000         0
1277.95/1278.48	c       832       884   1064.52    112.08      9.50   1000000         0
1280.35/1280.80	c       834      1121   1053.50    121.83      8.65   1000000         0
1282.65/1283.13	c       801      1063   1035.78    125.30      8.27   1000000         0
1284.95/1285.47	c       758      1021   1056.92    111.73      9.46   1000000         0
1287.35/1287.80	c       780      1069   1068.50    113.39      9.42   1000000         0
1289.65/1290.13	c       823      1087   1050.73    109.50      9.60   1000000         0
1291.96/1292.46	c       762      1018   1038.79    101.02     10.28   1000000         0
1294.26/1294.78	c       770      1083   1021.32    117.79      8.67   1000000         0
1296.65/1297.12	c       821       981   1062.44    122.48      8.67   1000000         0
1298.95/1299.44	c       776      1011   1020.70    110.47      9.24   1000000         0
1301.25/1301.77	c       814       936   1052.99     91.45     11.51   1000000         0
1303.65/1304.11	c       774       969   1055.47    126.13      8.37   1000000         0
1305.95/1306.44	c       810      1051   1039.97    117.06      8.88   1000000         0
1308.25/1308.77	c       756      1022   1028.60    107.94      9.53   1000000         0
1310.54/1311.09	c       807      1031   1053.05    113.41      9.29   1000000         0
1312.95/1313.41	c       806       988   1041.39    103.10     10.10   1000000         0
1315.24/1315.75	c       813       900   1048.42    119.91      8.74   1000000         0
1317.54/1318.08	c       801      1041   1044.93    117.42      8.90   1000000         0
1319.94/1320.42	c       787      1009   1059.71    141.92      7.47   1000000         0
1322.24/1322.73	c       743      1028   1028.50    143.54      7.17   1000000         0
1324.54/1325.06	c       814      1068   1057.08    102.72     10.29   1000000         0
1326.84/1327.39	c       791      1016   1038.12    111.28      9.33   1000000         0
1329.24/1329.73	c       776      1022   1060.09    119.49      8.87   1000000         0
1331.54/1332.06	c       789       902   1040.77    122.34      8.51   1000000         0
1333.84/1334.38	c       813       977   1040.33    120.07      8.66   1000000         0
1336.24/1336.70	c       751       982   1026.30    110.50      9.29   1000000         0
1338.54/1339.02	c       815       949   1038.27    143.66      7.23   1000000         0
1340.84/1341.35	c       799       994   1037.36    124.59      8.33   1000000         0
1343.13/1343.67	c       708      1060   1035.74    110.25      9.39   1000000         0
1345.53/1346.00	c       759      1129   1057.50    129.65      8.16   1000000         0
1347.83/1348.34	c       807      1233   1058.44    108.86      9.72   1000000         0
1350.13/1350.65	c       765       944   1026.49    105.92      9.69   1000000         0
1352.44/1352.99	c       817       992   1055.39    111.51      9.46   1000000         0
1354.83/1355.32	c       760       924   1033.54    119.54      8.65   1000000         0
1357.13/1357.65	c       774      1032   1036.08    106.11      9.76   1000000         0
1359.43/1359.98	c       786       970   1043.50    125.54      8.31   1000000         0
1361.83/1362.32	c       800       946   1067.23    149.24      7.15   1000000         0
1364.13/1364.66	c       824      1036   1051.37    114.99      9.14   1000000         0
1366.43/1366.99	c       818      1008   1047.19    124.71      8.40   1000000         0
1368.83/1369.31	c       827      1032   1037.39     94.12     11.02   1000000         0
1371.13/1371.64	c       802       991   1048.67     96.55     10.86   1000000         0
1373.43/1373.97	c       798       966   1045.73    115.39      9.06   1000000         0
1375.72/1376.29	c       804      1080   1035.85     98.32     10.54   1000000         0
1378.12/1378.62	c       787      1191   1048.75    123.34      8.50   1000000         0
1380.42/1380.96	c       793       956   1062.32    121.67      8.73   1000000         0
1382.72/1383.29	c       807      1027   1042.49    124.36      8.38   1000000         0
1385.12/1385.62	c       813      1080   1057.69    109.30      9.68   1000000         0
1387.42/1387.96	c       733      1054   1045.94    117.29      8.92   1000000         0
1389.72/1390.26	c       785       999   1024.09    107.70      9.51   1000000         0
1392.13/1392.61	c       832      1000   1053.22    127.42      8.27   1000000         0
1394.42/1394.94	c       771      1001   1030.27    115.63      8.91   1000000         0
1396.72/1397.28	c       807       946   1048.27    121.80      8.61   1000000         0
1399.02/1399.59	c       796       920   1033.35     94.20     10.97   1000000         0
1401.42/1401.92	c       764      1096   1053.46    108.41      9.72   1000000         0
1403.72/1404.26	c       825      1077   1050.14    101.55     10.34   1000000         0
1406.01/1406.57	c       811       955   1026.58     98.01     10.47   1000000         0
1408.41/1408.91	c       828       922   1063.68    125.01      8.51   1000000         0
1410.72/1411.23	c       843      1008   1047.08    103.16     10.15   1000000         0
1413.02/1413.56	c       781      1101   1029.33    111.88      9.20   1000000         0
1415.31/1415.88	c       840      1004   1048.26     87.43     11.99   1000000         0
1417.71/1418.21	c       776      1021   1033.78    100.05     10.33   1000000         0
1420.01/1420.54	c       796      1051   1036.91    123.13      8.42   1000000         0
1422.31/1422.87	c       791       936   1040.75    124.73      8.34   1000000         0
1424.61/1425.19	c       748      1174   1038.64    121.38      8.56   1000000         0
1427.01/1427.52	c       813      1043   1059.46    133.63      7.93   1000000         0
1429.31/1429.84	c       760      1051   1017.51    101.86      9.99   1000000         0
1431.61/1432.17	c       792      1057   1044.02    126.26      8.27   1000000         0
1434.01/1434.51	c       788      1172   1049.88    128.37      8.18   1000000         0
1436.31/1436.83	c       763      1028   1036.02    113.59      9.12   1000000         0
1438.60/1439.16	c       803      1073   1043.40     96.27     10.84   1000000         0
1440.90/1441.49	c       762      1056   1053.25    133.56      7.89   1000000         0
1443.30/1443.83	c       754      1061   1040.03    154.37      6.74   1000000         0
1445.60/1446.15	c       818      1060   1049.93    118.11      8.89   1000000         0
1447.90/1448.48	c       798      1032   1043.68    133.62      7.81   1000000         0
1450.31/1450.80	c       787       950   1045.63    133.97      7.80   1000000         0
1452.61/1453.15	c       787      1027   1053.84    123.40      8.54   1000000         0
1454.90/1455.47	c       771      1144   1046.56    115.28      9.08   1000000         0
1457.30/1457.80	c       788       984   1036.09    108.32      9.57   1000000         0
1459.60/1460.11	c       767       915   1014.74     98.15     10.34   1000000         0
1461.90/1462.45	c       808       920   1049.81    131.32      7.99   1000000         0
1464.20/1464.77	c       775      1141   1033.72    114.06      9.06   1000000         0
1466.60/1467.11	c       812      1062   1052.05    107.02      9.83   1000000         0
1468.90/1469.44	c       806      1043   1062.89    130.78      8.13   1000000         0
1471.21/1471.80	c       825      1115   1070.66    116.25      9.21   1000000         0
1473.60/1474.13	c       787      1102   1056.83    111.04      9.52   1000000         0
1475.90/1476.46	c       808       907   1050.99    118.21      8.89   1000000         0
1478.20/1478.78	c       800      1039   1023.25    103.73      9.86   1000000         0
1480.60/1481.11	c       826       958   1046.07    111.74      9.36   1000000         0
1482.90/1483.46	c       756       926   1040.37    121.32      8.58   1000000         0
1485.20/1485.77	c       808      1063   1041.31    112.44      9.26   1000000         0
1487.50/1488.09	c       777       978   1032.07    118.33      8.72   1000000         0
1489.90/1490.42	c       798       932   1045.07    107.50      9.72   1000000         0
1492.21/1492.74	c       799       970   1029.40     91.75     11.22   1000000         0
1494.50/1495.08	c       796       819   1053.13    145.57      7.23   1000000         0
1496.90/1497.40	c       814      1117   1035.89     96.30     10.76   1000000         0
1499.20/1499.72	c       770      1082   1038.58    106.04      9.79   1000000         0
1501.49/1502.05	c       814      1096   1051.00    100.25     10.48   1000000         0
1503.79/1504.38	c       795      1022   1044.52     97.10     10.76   1000000         0
1506.19/1506.72	c       811      1245   1044.82    124.30      8.41   1000000         0
1508.49/1509.04	c       783       964   1033.83    114.89      9.00   1000000         0
1510.80/1511.38	c       725       957   1057.30    136.05      7.77   1000000         0
1513.19/1513.71	c       804       946   1051.33    125.39      8.38   1000000         0
1515.49/1516.04	c       796       975   1053.11     98.01     10.74   1000000         0
1517.79/1518.36	c       819       883   1032.32    115.48      8.94   1000000         0
1520.09/1520.69	c       769      1046   1047.28    113.41      9.23   1000000         0
1522.49/1523.02	c       830      1063   1055.78    104.56     10.10   1000000         0
1524.79/1525.37	c       782      1127   1070.62    104.26     10.27   1000000         0
1527.08/1527.69	c       816       959   1044.78    104.06     10.04   1000000         0
1529.49/1530.03	c       829       920   1036.85    102.29     10.14   1000000         0
1531.79/1532.35	c       798      1037   1034.74    110.03      9.40   1000000         0
1534.08/1534.66	c       789       991   1024.10    122.18      8.38   1000000         0
1536.48/1537.00	c       820      1121   1045.60    121.97      8.57   1000000         0
1538.78/1539.31	c       768      1125   1023.73     96.01     10.66   1000000         0
1541.08/1541.64	c       743      1022   1045.15    127.47      8.20   1000000         0
1543.38/1543.97	c       775       941   1041.17    103.09     10.10   1000000         0
1545.78/1546.30	c       801       914   1048.54    129.09      8.12   1000000         0
1548.08/1548.62	c       812       925   1037.62    102.01     10.17   1000000         0
1550.39/1550.94	c       811      1124   1060.20    120.39      8.81   1000000         0
1552.68/1553.28	c       820      1272   1036.45    101.95     10.17   1000000         0
1554.98/1555.59	c       808       952   1021.90    100.18     10.20   1000000         0
1557.38/1557.92	c       788      1006   1041.15    105.09      9.91   1000000         0
1559.67/1560.25	c       845       908   1064.23    122.91      8.66   1000000         0
1561.97/1562.59	c       768       936   1052.78    121.35      8.68   1000000         0
1564.37/1564.92	c       824      1027   1041.63     91.63     11.37   1000000         0
1566.67/1567.26	c       803      1017   1076.20    133.42      8.07   1000000         0
1568.97/1569.58	c       790      1011   1029.98    107.18      9.61   1000000         0
1571.38/1571.91	c       766      1008   1036.20    118.95      8.71   1000000         0
1573.67/1574.23	c       759       954   1045.96    115.13      9.08   1000000         0
1575.97/1576.56	c       779       961   1035.50    116.99      8.85   1000000         0
1578.27/1578.88	c       763       992   1018.98     99.96     10.19   1000000         0
1580.67/1581.20	c       778       989   1027.89     91.23     11.27   1000000         0
1582.97/1583.52	c       775      1073   1037.22    118.35      8.76   1000000         0
1585.27/1585.86	c       793      1050   1055.52    134.67      7.84   1000000         0
1587.57/1588.19	c       805      1095   1059.31    111.23      9.52   1000000         0
1589.97/1590.52	c       776       999   1043.27    121.68      8.57   1000000         0
1592.27/1592.85	c       788      1067   1055.24    113.00      9.34   1000000         0
1594.56/1595.17	c       761       977   1003.98    123.45      8.13   1000000         0
1596.96/1597.50	c       727       964   1048.42    109.76      9.55   1000000         0
1599.26/1599.81	c       758      1098   1023.43    114.79      8.92   1000000         0
1601.56/1602.14	c       790      1006   1038.13    123.11      8.43   1000000         0
1603.86/1604.46	c       766      1060   1038.01    124.31      8.35   1000000         0
1606.16/1606.78	c       794       914   1020.78    109.49      9.32   1000000         0
1608.56/1609.12	c       820      1023   1054.83    106.86      9.87   1000000         0
1610.86/1611.44	c       733       958   1027.26    103.90      9.89   1000000         0
1613.16/1613.76	c       822      1032   1043.33    107.34      9.72   1000000         0
1615.56/1616.10	c       804      1023   1049.80    115.12      9.12   1000000         0
1617.85/1618.42	c       787       962   1043.63    131.72      7.92   1000000         0
1620.15/1620.74	c       783      1030   1019.52     90.45     11.27   1000000         0
1622.45/1623.07	c       825      1115   1046.54    126.70      8.26   1000000         0
1624.75/1625.39	c       781      1053   1039.22    123.46      8.42   1000000         0
1627.15/1627.73	c       799       978   1046.23    110.25      9.49   1000000         0
1629.45/1630.06	c       823      1021   1050.94    133.79      7.85   1000000         0
1631.76/1632.39	c       817      1046   1043.97     85.75     12.18   1000000         0
1634.15/1634.72	c       779       960   1056.23    110.94      9.52   1000000         0
1636.45/1637.05	c       817      1169   1045.94    136.43      7.67   1000000         0
1638.75/1639.39	c       856      1013   1063.44    105.28     10.10   1000000         0
1641.15/1641.72	c       804       935   1044.26    117.69      8.87   1000000         0
1643.45/1644.04	c       800      1176   1042.11    105.19      9.91   1000000         0
1645.75/1646.35	c       785      1175   1024.05    105.72      9.69   1000000         0
1648.05/1648.68	c       807      1057   1058.46    117.07      9.04   1000000         0
1650.45/1651.01	c       772      1073   1027.98    124.68      8.24   1000000         0
1652.75/1653.34	c       830      1105   1065.48    116.39      9.15   1000000         0
1655.04/1655.66	c       814       928   1040.71    125.61      8.29   1000000         0
1657.34/1657.97	c       785      1041   1024.48    107.05      9.57   1000000         0
1659.64/1660.30	c       798       978   1029.95    122.99      8.37   1000000         0
1662.04/1662.62	c       796      1000   1045.44    125.78      8.31   1000000         0
1664.34/1664.94	c       823      1025   1027.59    106.57      9.64   1000000         0
1666.64/1667.27	c       757      1064   1038.24    143.29      7.25   1000000         0
1669.04/1669.60	c       783      1031   1055.94    127.38      8.29   1000000         0
1671.34/1671.92	c       767      1045   1016.25    106.75      9.52   1000000         0
1673.64/1674.25	c       767      1031   1037.23    117.13      8.86   1000000         0
1675.94/1676.56	c       791      1101   1002.34     91.45     10.96   1000000         0
1678.33/1678.90	c       815      1026   1043.25    101.10     10.32   1000000         0
1680.63/1681.22	c       780       988   1037.68    145.39      7.14   1000000         0
1682.93/1683.56	c       782      1056   1038.40    117.61      8.83   1000000         0
1685.23/1685.88	c       795       944   1044.40    108.35      9.64   1000000         0
1687.53/1688.19	c       758      1065   1020.54     97.90     10.42   1000000         0
1689.93/1690.52	c       802      1090   1031.49    121.04      8.52   1000000         0
1692.24/1692.84	c       757       910   1037.91    113.65      9.13   1000000         0
1694.54/1695.17	c       814      1138   1048.84    111.95      9.37   1000000         0
1696.83/1697.49	c       763      1079   1020.42    103.41      9.87   1000000         0
1699.23/1699.82	c       803      1088   1050.42    129.31      8.12   1000000         0
1701.53/1702.14	c       792      1015   1039.90    116.49      8.93   1000000         0
1703.83/1704.49	c       821      1015   1051.93    137.81      7.63   1000000         0
1706.23/1706.83	c       761      1020   1064.62    118.49      8.99   1000000         0
1708.53/1709.15	c       774      1007   1036.12    106.70      9.71   1000000         0
1710.83/1711.48	c       780      1058   1052.03    122.27      8.60   1000000         0
1713.23/1713.83	c       779      1007   1071.68    131.11      8.17   1000000         0
1715.52/1716.16	c       757      1124   1032.76    134.01      7.71   1000000         0
1717.82/1718.49	c       807       998   1029.90    129.40      7.96   1000000         0
1720.22/1720.83	c       805       984   1045.53    125.89      8.31   1000000         0
1722.52/1723.16	c       805      1041   1036.59    109.34      9.48   1000000         0
1724.82/1725.49	c       759      1027   1044.34    114.86      9.09   1000000         0
1727.22/1727.83	c       798      1162   1050.94    138.44      7.59   1000000         0
1729.52/1730.15	c       767      1003   1034.91    119.23      8.68   1000000         0
1731.83/1732.48	c       812      1130   1044.56    123.46      8.46   1000000         0
1734.22/1734.81	c       774      1054   1044.90    108.12      9.66   1000000         0
1736.52/1737.14	c       824       893   1053.53    131.35      8.02   1000000         0
1738.82/1739.47	c       785       947   1046.89    103.37     10.13   1000000         0
1741.12/1741.79	c       791       991   1024.30    123.49      8.29   1000000         0
1743.51/1744.11	c       782      1034   1032.96    111.93      9.23   1000000         0
1745.81/1746.45	c       819      1050   1053.97    128.82      8.18   1000000         0
1748.11/1748.79	c       785       994   1062.60    116.00      9.16   1000000         0
1750.52/1751.12	c       818       941   1048.25    123.76      8.47   1000000         0
1752.82/1753.46	c       808      1073   1036.26    112.36      9.22   1000000         0
1755.21/1755.80	c       821      1121   1064.42    142.94      7.45   1000000         0
1757.51/1758.12	c       808       935   1040.98    111.64      9.32   1000000         0
1759.81/1760.45	c       798      1078   1062.09    122.28      8.69   1000000         0
1762.11/1762.78	c       746      1151   1028.24    133.43      7.71   1000000         0
1764.51/1765.11	c       772       984   1034.01    105.46      9.80   1000000         0
1766.81/1767.44	c       766       880   1022.70    117.82      8.68   1000000         0
1769.11/1769.77	c       734      1003   1043.10    145.49      7.17   1000000         0
1771.41/1772.09	c       838      1014   1035.04    112.52      9.20   1000000         0
1773.80/1774.42	c       770       928   1035.23    109.09      9.49   1000000         0
1776.10/1776.76	c       839      1038   1058.90    101.92     10.39   1000000         0
1778.40/1779.08	c       796       899   1039.25    127.07      8.18   1000000         0
1780.80/1781.41	c       809       887   1051.47    113.89      9.23   1000000         0
1783.10/1783.74	c       753      1010   1026.17    129.91      7.90   1000000         0
1785.40/1786.07	c       786       942   1047.58    111.77      9.37   1000000         0
1787.80/1788.40	c       818       940   1049.53    106.32      9.87   1000000         0
1790.11/1790.72	c       802       897   1021.69    110.96      9.21   1000000         0
1792.41/1793.05	c       818      1000   1052.50    133.34      7.89   1000000         0
1794.70/1795.36	c       775      1128   1026.35    102.90      9.97   1000000         0
1797.00/1797.69	c       788       990   1031.34    100.42     10.27   1000000         0
1799.40/1800.01	c       810       969   1026.68    108.15      9.49   1000000         0
1800.01/1800.61	HOME/run: line 2: 21486 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-2684860-1278435315/watcher-2684860-1278435315 -o /tmp/evaluation-result-2684860-1278435315/solver-2684860-1278435315 -C 1800 -W 2000 -M 1800 run HOME/instance-2684860-1278435315.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 1.10 3/105 21485
/proc/meminfo: memFree=1481500/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) R 21483 21485 21384 0 -1 4202496 343 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013876629 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0

[startup+0.0323101 s]
/proc/loadavg: 0.92 0.98 1.10 3/105 21485
/proc/meminfo: memFree=1481500/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101295 s]
/proc/loadavg: 0.92 0.98 1.10 3/105 21485
/proc/meminfo: memFree=1481500/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301321 s]
/proc/loadavg: 0.92 0.98 1.10 3/105 21485
/proc/meminfo: memFree=1481500/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701371 s]
/proc/loadavg: 0.92 0.98 1.10 3/105 21485
/proc/meminfo: memFree=1481500/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50047 s]
/proc/loadavg: 0.92 0.98 1.10 2/107 21487
/proc/meminfo: memFree=1473052/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1.49
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2113 0 0 0 149 0 0 0 25 0 1 0 11738166 41422848 2042 1992294400 134512640 135071400 4287454272 18446744073709551615 134526668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2042 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10068 s]
/proc/loadavg: 0.92 0.98 1.10 2/107 21487
/proc/meminfo: memFree=1472804/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=3.09
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 309 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30108 s]
/proc/loadavg: 0.93 0.98 1.10 2/107 21487
/proc/meminfo: memFree=1472680/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=6.29
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 629 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 1.10 2/107 21487
/proc/meminfo: memFree=1472556/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=12.68
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 1268 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 1.10 2/107 21487
/proc/meminfo: memFree=1472556/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=25.48
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 2548 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 1.09 2/107 21489
/proc/meminfo: memFree=1472556/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=51.07
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 5107 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 1.09 2/107 21489
/proc/meminfo: memFree=1472432/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=102.26
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 10226 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526392 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.08 2/107 21491
/proc/meminfo: memFree=1472308/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=162.24
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 16224 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134571224 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 21493
/proc/meminfo: memFree=1472308/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=222.22
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 22222 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134537277 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.07 2/107 21495
/proc/meminfo: memFree=1472308/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=282.19
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 28219 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134519831 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 21497
/proc/meminfo: memFree=1472308/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=342.17
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 34217 0 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 1.06 2/107 21506
/proc/meminfo: memFree=1471192/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=402.14
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 40213 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134519857 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1061.92
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 106191 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21526
/proc/meminfo: memFree=1471192/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1121.9
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 112189 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134537008 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21528
/proc/meminfo: memFree=1471068/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1181.88
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 118187 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21530
/proc/meminfo: memFree=1470944/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1241.87
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 124186 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21530
/proc/meminfo: memFree=1470820/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1301.85
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 130184 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21532
/proc/meminfo: memFree=1470696/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1361.83
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 136182 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21534
/proc/meminfo: memFree=1470696/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1421.82
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 142181 1 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 1.00 3/108 21539
/proc/meminfo: memFree=1456180/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1481.8
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 148178 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21541
/proc/meminfo: memFree=1469952/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1541.78
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 154176 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21541
/proc/meminfo: memFree=1469952/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1601.76
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 160174 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21543
/proc/meminfo: memFree=1469952/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1661.74
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 166172 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21545
/proc/meminfo: memFree=1469952/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1721.72
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 172170 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21547
/proc/meminfo: memFree=1469952/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1781.7
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 178168 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134537028 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 1.00 2/107 21547
/proc/meminfo: memFree=1469952/2059040 swapFree=4192956/4192956
[pid=21485] ppid=21483 vsize=8700 CPUtime=0
/proc/21485/stat : 21485 (run) S 21483 21485 21384 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11738166 8908800 244 1992294400 4194304 4922060 140737309438976 18446744073709551615 266013875333 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21485/statm: 2175 244 204 178 0 68 0
[pid=21486] ppid=21485 vsize=40452 CPUtime=1800.01
/proc/21486/stat : 21486 (PB-wave) R 21485 21485 21384 0 -1 4202496 2121 0 0 0 179999 2 0 0 25 0 1 0 11738166 41422848 2050 1992294400 134512640 135071400 4287454272 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21486/statm: 10113 2050 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.027995
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.88356 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node054 at 2010-07-06 18:55:15
IDJOB=2684860
IDBENCH=73786
IDSOLVER=1171
FILE ID=node054/2684860-1278435315
PBS_JOBID= 11233485
Free space on /tmp= 62436 MiB

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

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

MD5SUM BENCH= 5c357873a81db98d0c84cf88eebfbda4
RANDOM SEED=1371547710

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1481896 kB
Buffers:        104004 kB
Cached:         341112 kB
SwapCached:          0 kB
Active:         174540 kB
Inactive:       330464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1481896 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3408 kB
Writeback:           0 kB
AnonPages:       59916 kB
Mapped:          14416 kB
Slab:            50336 kB
PageTables:       4136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179952 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62436 MiB
End job on node054 at 2010-07-06 19:25:16